Anzahl der Einträge: 1.
2006
|
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 Thu May 15 01:31:25 2025 CEST automatisch erstellt.
