Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
1998
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 Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. CWI pp. 97-124. ISBN 90-6196-480-6. (Full text available) |