Dynamic State Space Partitioning for External Memory Model Checking
Lecture Notes in Computer Science (2009) - Comments
doi: 10.1007/978-3-642-04570-7_7  issn: 0302-9743  issn: 1611-3349 

Sami Evangelista, Lars Michael Kristensen