Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2011
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C.
(2011)
Confluence Reduction for Probabilistic Systems.
In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 Mar - 3 Apr 2011, Saarbrücken, Germany.
pp. 311-325.
Lecture Notes in Computer Science 6605.
Springer Verlag.
ISBN 978-3-642-19834-2
This list was generated on Thu May 24 07:05:42 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||