A testing theory for LOTOS using deadlock detection (1990)

by R Langerak
Venue:Protocol Specification, Testing, and Verification IX