Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila. From timed Petri nets to timed LOTOS. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 395-408, North-Holland, 1990.
No references recorded for this publication.
No citations of this publication recorded.