H | |
---|---|
[HKN+06] | Andrew Hinton,
Marta Kwiatkowska,
Gethin Norman, and
David Parker.
PRISM: A Tool for Automatic Verification of
Probabilistic Systems.
In TACAS'06,
Lecture Notes in Computer Science 3920, pages 441-444. Springer-Verlag, March 2006.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1