Publications
Filters: Author is Marcus Größer [Clear All Filters]
, “Partial Order Reduction for Probabilistic Branching Time”, Electr. Notes Theor. Comput. Sci., vol. 153, no. 2, pp. 97-116, 2006.
paper-21.pdf (432.14 KB)
paper-21.pdf (432.14 KB)