A Tutorial on LOTOS (1986)

by E Brinksma
Venue:Proceedings of IFIP Workshop on Protocol Specification, Testing and Verifieation VI