Watchdog transformations for property−oriented model−checking

Watchdog transformations for property−oriented model−checking

Show other versions (2)
Bibliographic Details
Main Authors: Goldsmith, M, Moffat, N, Roscoe, B, Whitworth, T, Zakiuddin, I
Format: Conference item
Published: Springer Berlin/Heidelberg 2003

Similar Items