Anzahl der Einträge: 2. Buch
Konferenzveröffentlichung
Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili ; Kwiatkowska, Marta ; Ryan, Mark
Symbolic Model Checking for Probabilistic Processes.
Degano, Pierpaolo
Lecture Notes in Computer Science
1256
430-440
In: Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings
(1997)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Fri Aug 16 01:31:44 2024 CEST automatisch erstellt.
|