A testing theory for LOTOS using deadlock detection (1990)

by R Langerak
Venue:in Proc. 10th IFIP Symp. on Protocol Specification, Testing, and Verification