Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/vmcai/vmcai2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/vmcai/AbdullaHDR08,
author = {Parosh Aziz Abdulla and
Noomene Ben Henda and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Handling Parameterized Systems with Non-atomic Global Conditions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {22--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_7},
doi = {10.1007/978-3-540-78163-9\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AbdullaHDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BagnaraHZ08,
author = {Roberto Bagnara and
Patricia M. Hill and
Enea Zaffanella},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {An Improved Tight Closure Algorithm for Integer Octagonal Constraints},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {8--21},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_6},
doi = {10.1007/978-3-540-78163-9\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BagnaraHZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouissouM08,
author = {Olivier Bouissou and
Matthieu Martel},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Abstract Interpretation of the Physical Inputs of Embedded Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {37--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_8},
doi = {10.1007/978-3-540-78163-9\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouissouM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CimattiRST08,
author = {Alessandro Cimatti and
Marco Roveri and
Viktor Schuppan and
Andrei Tchaltsev},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Diagnostic Information for Realizability},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {52--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_9},
doi = {10.1007/978-3-540-78163-9\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CimattiRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Cousot08,
author = {Radhia Cousot},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {1--3},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_1},
doi = {10.1007/978-3-540-78163-9\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Cousot08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DSilvaPK08,
author = {Vijay Victor D'Silva and
Mitra Purandare and
Daniel Kroening},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Approximation Refinement for Interpolation-Based Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {68--82},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_10},
doi = {10.1007/978-3-540-78163-9\_10},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/DSilvaPK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DanosFFK08,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Jean Krivine},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Abstract Interpretation of Cellular Signalling Networks},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {83--97},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_11},
doi = {10.1007/978-3-540-78163-9\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DanosFFK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DimitrovaP08,
author = {Rayna Dimitrova and
Andreas Podelski},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {98--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_12},
doi = {10.1007/978-3-540-78163-9\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FecherH08,
author = {Harald Fecher and
Michael Huth},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Model Checking for Action Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {112--126},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_13},
doi = {10.1007/978-3-540-78163-9\_13},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FecherH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Goldberg08,
author = {Eugene Goldberg},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {On Bridging Simulation and Formal Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {127--141},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_14},
doi = {10.1007/978-3-540-78163-9\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Goldberg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GroceJ08,
author = {Alex Groce and
Rajeev Joshi},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Extending Model Checking with Dynamic Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {142--156},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_15},
doi = {10.1007/978-3-540-78163-9\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GroceJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JonesH08,
author = {Neil D. Jones and
Ren{\'{e}} Rydhof Hansen},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {{CTL} as an Intermediate Language},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_2},
doi = {10.1007/978-3-540-78163-9\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JonesH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KupfermanL08,
author = {Orna Kupferman and
Yoad Lustig},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Multi-valued Logics, Automata, Simulations, and Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {5},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_3},
doi = {10.1007/978-3-540-78163-9\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KupfermanL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Mastroeni08,
author = {Isabella Mastroeni},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Deriving Bisimulations by Simplifying Partitions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {157--171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_16},
doi = {10.1007/978-3-540-78163-9\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Mastroeni08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Mendez-LojoH08,
author = {Mario M{\'{e}}ndez{-}Lojo and
Manuel V. Hermenegildo},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Precise Set Sharing Analysis for Java-Style Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {172--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_17},
doi = {10.1007/978-3-540-78163-9\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Mendez-LojoH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MorgensternS08,
author = {Andreas Morgenstern and
Klaus Schneider},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {From {LTL} to Symbolically Represented Deterministic Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {279--293},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_24},
doi = {10.1007/978-3-540-78163-9\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MorgensternS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Moy08,
author = {Yannick Moy},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Sufficient Preconditions for Modular Assertion Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {188--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_18},
doi = {10.1007/978-3-540-78163-9\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Moy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NguyenKC08,
author = {Huu Hai Nguyen and
Viktor Kuncak and
Wei{-}Ngan Chin},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Runtime Checking for Separation Logic},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_19},
doi = {10.1007/978-3-540-78163-9\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/NguyenKC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Palsberg08,
author = {Jens Palsberg},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Verification of Register Allocators},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {6},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_4},
doi = {10.1007/978-3-540-78163-9\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Palsberg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PiskacK08,
author = {Ruzica Piskac and
Viktor Kuncak},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Decision Procedures for Multisets with Cardinality Constraints},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_20},
doi = {10.1007/978-3-540-78163-9\_20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PiskacK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Pistoia08,
author = {Marco Pistoia},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Program Analysis and Programming Languages for Security},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {7},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_5},
doi = {10.1007/978-3-540-78163-9\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Pistoia08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PnueliS08,
author = {Amir Pnueli and
Yaniv Sa'ar},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {All You Need Is Compassion},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {233--247},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_21},
doi = {10.1007/978-3-540-78163-9\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PnueliS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RanzatoRT08,
author = {Francesco Ranzato and
Olivia Rossi{-}Doria and
Francesco Tapparo},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {A Forward-Backward Abstraction Refinement Algorithm},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {248--262},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_22},
doi = {10.1007/978-3-540-78163-9\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RanzatoRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Schmidt08,
author = {David A. Schmidt},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Internal and External Logics of Abstract Interpretations},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {263--278},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_23},
doi = {10.1007/978-3-540-78163-9\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Schmidt08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SistlaS08,
author = {A. Prasad Sistla and
Abhigna R. Srinivas},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Monitoring Temporal Properties of Stochastic Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {294--308},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_25},
doi = {10.1007/978-3-540-78163-9\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SistlaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SohailSR08,
author = {Saqib Sohail and
Fabio Somenzi and
Kavita Ravi},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {A Hybrid Algorithm for {LTL} Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {309--323},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_26},
doi = {10.1007/978-3-540-78163-9\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SohailSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2008,
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9},
doi = {10.1007/978-3-540-78163-9},
isbn = {978-3-540-78162-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-10 13:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
