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 },
}