Scalable Multi-core LTL Model-Checking (2007)

by J Barnat, L Brim, P Ročkai
Venue:In Model Checking Software (SPIN 2007), volume 4595 of LNCS