Scalable shared memory LTL model checking. (2010)

by J Barnat, L Brim, P Rockai
Venue:International Journal on Software Tools for Technology Transfer (STTT),