Number of items: 1.
|
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.]
[Conference or workshop publication]
|
|
This list was created automatically on Thu Mar 30 05:02:38 2023 CEST
