Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2010
Katoen, J.P.
(2010)
Advances in Probabilistic Model Checking.
(Invited)
In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain.
pp. 25-25.
Lecture Notes in Computer Science 5944.
Springer Verlag.
ISBN 978-3-642-11318-5
This list was generated on Thu May 24 06:35:07 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||