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

Citation

Order by: Document Type | Year of publication | No order
Skip to: 1998
Number of items: 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 [Book chapter]

This list was created automatically on Sat Mar 25 05:00:08 2023 CET