Improving Partial Order Reductions for Universal Branching Time Properties (1998)

View PDF

Download Links

by Wojciech Penczek , Maciej Szreter , Rob Gerth , Ruurd Kuiper
Citations:13 - 7 self