Formuladependent equivalence for compositional ctl model checking, Formal Methods in System Design ,
Modular Analysis of Petri Nets, The Computer Journal, vol.43, issue.3 ,
DOI : 10.1093/comjnl/43.3.224
Modular construction of the symbolic observation graph, 2008 8th International Conference on Application of Concurrency to System Design, 2008. ,
DOI : 10.1109/ACSD.2008.4574600
An incremental and modular technique for checking ltl\ xp r o p e r t i e so fp e t r in e t s . Formal Techniques for Networked and Distributed Systems?FORTE, 2007. ,