Anzahl der Einträge: 3. Zeitschriftenartikel
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]
|
|
Konferenzveröffentlichung
Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena
Comparative Branching Time Semantics for Markov Chains.
Amadio, Roberto M.
Lecture Notes in Computer Science
2761
492-507
In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings
(2003)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Aug 17 01:29:39 2024 CEST automatisch erstellt.
|