Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
Zhang, Lijun and Hermanns, H. and Eisenbrand, F. and Jansen, D.N.
(2007)
Flow faster: efficient decision algorithms for probabilistic simulations.
In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal.
pp. 155-169.
Lecture notes in computer science 4424.
Springer.
ISBN 978-3-540-71208-4
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||