A testing theory for lotos using deadlock detection (0)

by R Langerak
Venue:In Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX