Structural symbolic CTL model checking of asynchronous systems (2003)

by G Ciardo, R Siminiceanu
Venue:In Proc. CAV, LNCS 2725