Anzahl der Einträge: 1.
Buchkapitel
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 Sat Aug 17 01:11:26 2024 CEST automatisch erstellt.