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 Wed Dec 8 04:42:25 2021 CET