Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1998
Baier, C. and Katoen, J.P. and Latella, D.
(1998)
Metric semantics for true concurrent real time.
In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, July 13-17, 1998, Aalborg, Denmark.
pp. 568-580.
Lecture Notes in Computer Science 1443.
Springer Verlag.
ISBN 3-540-64781-3
This list was generated on Thu May 24 08:13:28 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||