A Linear Local Model Checking Algorithm for CTL.

Bart Vergauwen Johan Lewi A Linear Local Model Checking Algorithm for CTL. 447-461 1993 conf/concur/1993 CONCUR db/conf/concur/concur1993.html#VergauwenL93 http://dx.doi.org/10.1007/3-540-57208-2_31