Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/atva/atva2009.bht:"
@inproceedings{DBLP:conf/atva/AbdullaACJ09, author = {Parosh Aziz Abdulla and Muhsin Atto and Jonathan Cederberg and Ran Ji}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Automated Analysis of Data-Dependent Programs with Dynamic Memory}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {197--212}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_16}, doi = {10.1007/978-3-642-04761-9\_16}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/AbdullaACJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BaierGC09, author = {Christel Baier and Marcus Gr{\"{o}}{\ss}er and Frank Ciesinski}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Quantitative Analysis under Fairness Constraints}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {135--150}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_12}, doi = {10.1007/978-3-642-04761-9\_12}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/BaierGC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BygJS09, author = {Joakim Byg and Kenneth Yrke J{\o}rgensen and Jir{\'{\i}} Srba}, editor = {Zhiming Liu and Anders P. Ravn}, title = {{TAPAAL:} Editor, Simulator and Verifier of Timed-Arc Petri Nets}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {84--89}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_7}, doi = {10.1007/978-3-642-04761-9\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/BygJS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/CampetelliGLT09, author = {Alarico Campetelli and Alexander Gruler and Martin Leucker and Daniel Thoma}, editor = {Zhiming Liu and Anders P. Ravn}, title = {\emph{Don't Know} for Multi-valued Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {289--305}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_22}, doi = {10.1007/978-3-642-04761-9\_22}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/CampetelliGLT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/CassezDM09, author = {Franck Cassez and J{\'{e}}r{\'{e}}my Dubreil and Herv{\'{e}} Marchand}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Dynamic Observers for the Synthesis of Opaque Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {352--367}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_26}, doi = {10.1007/978-3-642-04761-9\_26}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/CassezDM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/ChenHKM09, author = {Taolue Chen and Tingting Han and Joost{-}Pieter Katoen and Alexandru Mereacre}, editor = {Zhiming Liu and Anders P. Ravn}, title = {{LTL} Model Checking of Time-Inhomogeneous Markov Chains}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {104--119}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_10}, doi = {10.1007/978-3-642-04761-9\_10}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/ChenHKM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/CohenDLQ09, author = {Mika Cohen and Mads Dam and Alessio Lomuscio and Hongyang Qu}, editor = {Zhiming Liu and Anders P. Ravn}, title = {A Data Symmetry Reduction Technique for Temporal-epistemic Logic}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {69--83}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_6}, doi = {10.1007/978-3-642-04761-9\_6}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/CohenDLQ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DaxKL09, author = {Christian Dax and Felix Klaedtke and Stefan Leue}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Specification Languages for Stutter-Invariant Regular Properties}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {244--254}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_19}, doi = {10.1007/978-3-642-04761-9\_19}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/DaxKL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaF09, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Synthesis of Fault-Tolerant Distributed Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {321--336}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_24}, doi = {10.1007/978-3-642-04761-9\_24}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/Duret-LutzPC09, author = {Alexandre Duret{-}Lutz and Denis Poitrenaud and Jean{-}Michel Couvreur}, editor = {Zhiming Liu and Anders P. Ravn}, title = {On-the-fly Emptiness Check of Transition-Based Streett Automata}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {213--227}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_17}, doi = {10.1007/978-3-642-04761-9\_17}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/Duret-LutzPC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FehnkerHS09, author = {Ansgar Fehnker and Ralf Huuck and Sean Seefried}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Incremental False Path Elimination for Static Software Analysis}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {255--270}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_20}, doi = {10.1007/978-3-642-04761-9\_20}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FehnkerHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FenechPS09, author = {Stephen Fenech and Gordon J. Pace and Gerardo Schneider}, editor = {Zhiming Liu and Anders P. Ravn}, title = {{CLAN:} {A} Tool for Contract Analysis and Conflict Discovery}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {90--96}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_8}, doi = {10.1007/978-3-642-04761-9\_8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FenechPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FriedmannL09, author = {Oliver Friedmann and Martin Lange}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Solving Parity Games in Practice}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {182--196}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_15}, doi = {10.1007/978-3-642-04761-9\_15}, timestamp = {Tue, 09 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/FriedmannL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/GeldenhuysHV09, author = {Jaco Geldenhuys and Henri Hansen and Antti Valmari}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Exploring the Scope for Partial Order Reduction}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {39--53}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_4}, doi = {10.1007/978-3-642-04761-9\_4}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/GeldenhuysHV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/Greenstreet09, author = {Mark R. Greenstreet}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Verifying {VLSI} Circuits}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {1--20}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_1}, doi = {10.1007/978-3-642-04761-9\_1}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/Greenstreet09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/Grumberg09, author = {Orna Grumberg}, editor = {Zhiming Liu and Anders P. Ravn}, title = {3-Valued Abstraction for (Bounded) Model Checking}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {21}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_2}, doi = {10.1007/978-3-642-04761-9\_2}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/Grumberg09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HeQLC09, author = {Guanhua He and Shengchao Qin and Chenguang Luo and Wei{-}Ngan Chin}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Memory Usage Verification Using Hip/Sleek}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {166--181}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_14}, doi = {10.1007/978-3-642-04761-9\_14}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/HeQLC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HoweK09, author = {Jacob M. Howe and Andy King}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Logahedra: {A} New Weakly Relational Domain}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {306--320}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_23}, doi = {10.1007/978-3-642-04761-9\_23}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/HoweK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/Huang09, author = {Hongtao Huang}, editor = {Zhiming Liu and Anders P. Ravn}, title = {On Detecting Regular Predicates in Distributed Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {397--411}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_29}, doi = {10.1007/978-3-642-04761-9\_29}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/Huang09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HuangCW09, author = {Geng{-}Dian Huang and Lin{-}Zan Cai and Farn Wang}, editor = {Zhiming Liu and Anders P. Ravn}, title = {{LTL} Model Checking for Recursive Programs}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {382--396}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_28}, doi = {10.1007/978-3-642-04761-9\_28}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/HuangCW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/KarmarkarC09, author = {Hrishikesh Karmarkar and Supratik Chakraborty}, editor = {Zhiming Liu and Anders P. Ravn}, title = {On Minimal Odd Rankings for B{\"{u}}chi Complementation}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {228--243}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_18}, doi = {10.1007/978-3-642-04761-9\_18}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/KarmarkarC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/KebrtS09, author = {Michal Kebrt and Ondrej Sery}, editor = {Zhiming Liu and Anders P. Ravn}, title = {UnitCheck: Unit Testing and Model Checking Combined}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {97--103}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_9}, doi = {10.1007/978-3-642-04761-9\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/KebrtS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/MellerGS09, author = {Yael Meller and Orna Grumberg and Sharon Shoham}, editor = {Zhiming Liu and Anders P. Ravn}, title = {A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {271--288}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_21}, doi = {10.1007/978-3-642-04761-9\_21}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/MellerGS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/OehlerkingT09, author = {Jens Oehlerking and Oliver E. Theel}, editor = {Zhiming Liu and Anders P. Ravn}, title = {A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {151--165}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_13}, doi = {10.1007/978-3-642-04761-9\_13}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/OehlerkingT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/PolT09, author = {Jaco van de Pol and Mark Timmer}, editor = {Zhiming Liu and Anders P. Ravn}, title = {State Space Reduction of Linear Processes Using Control Flow Reconstruction}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {54--68}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_5}, doi = {10.1007/978-3-642-04761-9\_5}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/PolT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/RabihP09, author = {Diana El Rabih and Nihal Pekergin}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Statistical Model Checking Using Perfect Simulation}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {120--134}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_11}, doi = {10.1007/978-3-642-04761-9\_11}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/RabihP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/RayHCXY09, author = {Sandip Ray and Kecheng Hao and Yan Chen and Fei Xie and Jin Yang}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Formal Verification for High-Assurance Behavioral Synthesis}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {337--351}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_25}, doi = {10.1007/978-3-642-04761-9\_25}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/RayHCXY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/RoscoeAP09, author = {A. W. Roscoe and Philip J. Armstrong and Pragyesh}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Local Search in Model Checking}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {22--38}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_3}, doi = {10.1007/978-3-642-04761-9\_3}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/RoscoeAP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/ZhaoC09, author = {Yang Zhao and Gianfranco Ciardo}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Symbolic {CTL} Model Checking of Asynchronous Systems Using Constrained Saturation}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {368--381}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_27}, doi = {10.1007/978-3-642-04761-9\_27}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/ZhaoC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2009, editor = {Zhiming Liu and Anders P. Ravn}, title = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9}, doi = {10.1007/978-3-642-04761-9}, isbn = {978-3-642-04760-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.