Jean-Pierre Courtiat, Roberto C. de Oliveira. About time nondeterminism and exception handling in a temporal extension of LOTOS. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 37-52, Chapman & Hall, 1994.
@inproceedings{CourtiatO94,
title = {About time nondeterminism and exception handling in a temporal extension of LOTOS},
author = {Jean-Pierre Courtiat and Roberto C. de Oliveira},
year = {1994},
tags = {exceptions, C++},
researchr = {https://researchr.org/publication/CourtiatO94},
cites = {0},
citedby = {0},
pages = {37-52},
booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
editor = {Son T. Vuong and Samuel T. Chanson},
volume = {1},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-63640-9},
}