Direct Support for Model Checking Abstract State Machines by Utilizing Simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jörg Beckers' in GoogleThis author has not been identified. Look up 'Daniel Klünder' in GoogleThis author has not been identified. Look up 'Stefan Kowalewski' in GoogleThis author has not been identified. Look up 'Bastian Schlich' in Google

runs on WebDSL