Metric Semantics for True Concurrent Real-Time
Baier, Christel
;
Katoen, Joost-Pieter
;
Latella, Diego
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|