Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelNumber 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 International Workshop on Formal Methods for Industrial Crtical Systems. CWI, pp. 97-124. ISBN 90-6196-480-6. (KAR id:21658) |
|
