![](/img/cover-not-exists.png)
A Partial Order Approach to Branching Time Logic Model Checking
Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech PenczekVolume:
150
Year:
1999
Language:
english
Pages:
21
DOI:
10.1006/inco.1998.2778
File:
PDF, 388 KB
english, 1999