Paper Info
Title
Partial-Order Reduction for Multi-core LTL Model Checking.
Year
DOI
Venue
2014
10.1007/978-3-319-13338-6_20
Haifa Verification Conference
Field
DocType
Citations 
Model checking,Computer science,Theoretical computer science,Partial order reduction,State space reduction,State space,Multi-core processor,Sophistication,Safety property
Conference
5
PageRank 
References 
Authors
0.43
30
2
Name
Order
Citations
PageRank
alfons laarman126614.17
Anton Wijs220322.84