Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Book section
Number of items: 1.

Book section

Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J.F. and Luttik, B. and van Warnel, J., eds. FMICS'98, Third International Workshop on Formal Methods for Industrial Crtical Systems. CWI, pp. 97-124. ISBN 90-6196-480-6. (KAR id:21658)
[thumbnail of Automatic_Verification_of_a_Lip-Synchronisation_Algorithm_Using_UPPAAL_-_Extended_Version.pdf]
This list was generated on Fri Dec 3 02:17:44 2021 GMT.