Skip to main content

Browse by Publisher

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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)

This list was generated on Mon Jan 25 02:16:18 2021 GMT.