Mila E. Majster-Cederbaum, Christoph Minnameier. Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 189-202, Springer, 2009. [doi]
Abstract is missing.