by Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich
Reference:
Direct Support for Model Checking of Abstract State Machines by Utilizing Simulation (Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich), In Abstract State Machines, B and Z (ABZ 2008), London, UK, Springer, volume 5238, 2008.
Bibtex Entry:
@inproceedings { BKKS08, author = { Beckers, J{"o}rg and Kl{"u}nder, Daniel and Kowalewski, Stefan and Schlich, Bastian }, booktitle = { Abstract State Machines, B and Z (ABZ 2008), London, UK }, doi = { 10.1007/978-3-540-87603-8_10 }, isbn = { 978-3-540-87602-1 }, pages = { 112--124 }, publisher = { Springer }, series = { Lecture Notes in Computer Science }, title = { Direct Support for Model Checking of Abstract State Machines by Utilizing Simulation }, volume = { 5238 }, year = { 2008 }, i11key = { conference }, for_reporting_period = { Old }, }