Title
Efficient Model Checking for LTL with Partial Order Snapshots
Year
DOI
Venue
2006
10.1007/11691372_18
European Joint Conferences on Theory And Practice of Software (ETAPS)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Peter Niebert110.70
Doron Peled23357273.18