Number of items: 1.
Baier, Christel ; Katoen, Joost-Pieter ; Latella, Diego
(1998)
Metric Semantics for True Concurrent Real-Time.
Larsen, Kim Guldstrand
Automata, languages and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13 - 17, 1998; proceedings
Lecture Notes in Computer Science
Berlin [u.a.]
1443
568-580
[Book chapter]
|
|
This list was created automatically on Mon Mar 27 04:44:37 2023 CEST
|