Anzahl der Einträge: 1.
1998
|
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
[Buchkapitel]
|
|
Diese Liste wurde am Tue Apr 16 01:38:25 2024 CEST automatisch erstellt.
