Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich. Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. In Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca, editors, Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Volume 5238 of Lecture Notes in Computer Science, pages 112-124, Springer, 2008. [doi]
Abstract is missing.