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