Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1998
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. and Bolognesi, T.
(1998)
A consistent causality-based view on a timed process algebra including urgent interactions.
Formal Methods in System Design, 12 (2).
pp. 189-216.
ISSN 0925-9856
*** ISI Impact 1,132 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||