![](/img/cover-not-exists.png)
Improving Partial Order Reductions for Universal Branching Time Properties
Penczek, Wojciech, Szreter, Maciej, Gerth, Rob, Kuiper, RuurdVolume:
43
Year:
2000
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-2000-43123413
File:
PDF, 1.13 MB
2000