Olivier Ly. Compositional Verification: Decidability Issues Using Graph Substitutions. In Jirí Fiala, Václav Koubek, Jan Kratochvíl, editors, Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings. Volume 3153 of Lecture Notes in Computer Science, pages 537-549, Springer, 2004. [doi]
Abstract is missing.