Browse by Publisher
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)
|
![[img]](/21658/1.hassmallThumbnailVersion/Automatic_Verification_of_a_Lip-Synchronisation_Algorithm_Using_UPPAAL_-_Extended_Version.pdf)  Preview |
|
This list was generated on Mon Jan 25 02:16:18 2021 GMT. |
