Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0


Order by: Document Type | Year of publication | No order
Skip to: Book chapter
Number of items: 1.

Book chapter

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 Tue Feb 7 05:06:42 2023 CET