Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: 1998
Anzahl der Einträge: 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 [Buchkapitel]

Diese Liste wurde am Sun Nov 24 01:35:45 2024 CET automatisch erstellt.