Distributed LTL model checking based on negative cycle detection (2001)

by L Brim, I Cerna, P Krcal, R Pelanek
Venue:In Proc. of the FSTTCS Conference