José Vander Meulen Charles Pecheur Efficient Symbolic Model Checking for Process Algebras. 69-84 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_9 conf/fmics/2008 db/conf/fmics/fmics2008.html#MeulenP08