Watchdog transformations for property−oriented model−checking

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

Watchdog transformations for property−oriented model checking by Roscoe, A, Goldsmith, M, N.Moffat, Whitworth, T, Zakiuddin, I

Published 2003

Conference item

Published 2003

Conference item