Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1998
Bowman, H. and Faconti, G. and Katoen, J.P. and Latella, D. and Massink, M.
(1998)
Automatic verification of a lip-synchronisation protocol using Uppaal.
Formal Aspects of Computing, 10.
pp. 550-575.
ISSN 0934-5043
*** ISI Impact 1,170 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||