Direct Support for Model Checking of Abstract State Machines by Utilizing Simulation

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

Bookmark the permalink.