Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M.
Automatic Verification of a Lip Synchronisation Protocol using UPPAAL.
Formal Aspects of Computing, 10
ISSN 1433-299X .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
Conference or workshop item