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 ***
Bowman, H. and Katoen, J.P.
(1998)
A true concurrency semantics for ET-LOTOS.
In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan.
pp. 228-239.
IEEE Computer Society.
ISBN 0-8186-8350-3
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||