A semantics based verification tool for finite state systems
| Title | A semantics based verification tool for finite state systems |
| Publication Type | Conference Papers |
| Year of Publication | 1989 |
| Authors | Cleaveland R, Parrow J, Steffen B |
| Conference Name | Proceedings of the IFIP WG6 |
| Date Published | 1989/// |