Scalable Multi-core LTL Model-Checking (2007)

by J Barnat, L Brim, P Rockai
Venue:In SPIN’07, volume 4595 of LNCS