Watchdog Transformations for Property−Oriented Model−Checking
Michael Goldsmith‚ Nick Moffat‚ Bill Roscoe‚ Tim Whitworth and Irfan Zakiuddin
Book Title
FME 2003: Formal Methods
ISBN
3−540−40828−2
ISSN
0302−9743
Journal
(FME 2003) In Proceedings of Formal Methods‚ International Symposium of Formal Methods Europe‚ Pisa‚ Italy‚ September 8−14‚ 2003
Pages
600−616
Publisher
Springer Berlin Heidelberg
Volume
2805
Year
2003