Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2005
Baier, C. and D'Argenio, P.R. and Größer, M.
(2005)
Partial Order Reduction for Probabilistic Branching Time.
In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland.
pp. 97-116.
Electronic Notes in Theoretical Computer Science 153 (2).
Elsevier.
ISSN 1571-0661
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||