A tutorial on LOTOS

E. Brinksma

A tutorial on LOTOS

E. Brinksma

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Protocol Specification, Testing and Verification V (Proceedings IFIP WG6.1 5th International Conference, Toulouse-Moissac, France, June 10-13, 1985)
Publisher	North-Holland Publishing Company
Pages	171-194
ISBN (Print)	0-444-87881-5
Publication status	Published - 1985

Cite this

@inproceedings{22b0f3247156497fbb9e18ed850c75ef,

title = "A tutorial on LOTOS",

author = "E. Brinksma",

year = "1985",

language = "English",

isbn = "0-444-87881-5",

pages = "171--194",

booktitle = "Protocol Specification, Testing and Verification V (Proceedings IFIP WG6.1 5th International Conference, Toulouse-Moissac, France, June 10-13, 1985)",

publisher = "North-Holland Publishing Company",

address = "Netherlands",

}