Anzahl der Einträge: 1.
Konferenzveröffentlichung
|
Wolf, Verena ; Fecher, Harald ; Leucker, Martin
Don't Know in Probabilistic Systems.
Valmari, Antti
Lecture Notes in Computer Science
3925
71-88
In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings
(2006)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Tue Dec 3 01:43:36 2024 CET automatisch erstellt.
