David Gilbert. Executable LOTOS: Using PARLOG to Implement an FDT. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 281-294, North-Holland, 1987.
@inproceedings{Gilbert87,
title = {Executable LOTOS: Using PARLOG to Implement an FDT},
author = {David Gilbert},
year = {1987},
researchr = {https://researchr.org/publication/Gilbert87},
cites = {0},
citedby = {0},
pages = {281-294},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987},
editor = {Harry Rudin and Colin H. West},
publisher = {North-Holland},
isbn = {0-444-70293-8},
}