Watchdog transformations for property−oriented model−checking
Michael Goldsmith‚ Nick Moffat‚ Bill Roscoe‚ Tim Whitworth and Irfan Zakiuddin
Book Title
FME 2003: Formal Methods
Organisation
Springer Berlin/Heidelberg
Pages
600–616
Year
2003
Michael Goldsmith‚ Nick Moffat‚ Bill Roscoe‚ Tim Whitworth and Irfan Zakiuddin