Improving Partial Order Reductions for Universal Branching Time Properties.

Wojciech Penczek Maciej Szreter Rob Gerth Ruurd Kuiper Improving Partial Order Reductions for Universal Branching Time Properties. 245-267 2000 43 Fundam. Inform. 1-4 db/journals/fuin/fuin43.html#PenczekSGK00