B. Botma, Rom Langerak. Simulator for LOTOS to study the independence and causality of events. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 221-223, Chapman & Hall, 1994.
@inproceedings{BotmaL94,
title = {Simulator for LOTOS to study the independence and causality of events},
author = {B. Botma and Rom Langerak},
year = {1994},
researchr = {https://researchr.org/publication/BotmaL94},
cites = {0},
citedby = {0},
pages = {221-223},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994},
editor = {Dieter Hogrefe and Stefan Leue},
volume = {6},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-64450-9},
}