Ruurd Kuiper
Rob Gerth, Ruurd Kuiper, Doron Peled, and Wojciech Penczek.
A partial order approach to branching time logic model checking.
Accepted for publication in
Information and Computation
. Final manuscript received for publication September 23, 1998.
References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database