Distributed LTL Model Checking Based on Negative Cycle Detection (2001)

by L Brim, I Černá, P Krčál, R Pelánek
Venue:In Proc. of FSTTCS 2001, Springer-Verlag, LNCS 2245