A Tutorial on LOTOS (1985)

by Ed Brinksma
Venue:Proc. Protocol Specification, Testing and Verification V, North-Holland