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.
No references recorded for this publication.
No citations of this publication recorded.