Watchdog transformations for property−oriented model checking
A. W. Roscoe‚ M.H. Goldsmith‚ N.Moffat‚ T. Whitworth and I. Zakiuddin
Details
| Book Title |
Proceedings of FME 2003 |
| Year |
2003 |
Links
Related pages
|
People |
|
|
Activities |