Sander de Putter, Anton Wijs. Compositional Model Checking Is Lively. In José Proença, Markus Lumpe, editors, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Volume 10487 of Lecture Notes in Computer Science, pages 117-136, Springer, 2017. [doi]
Abstract is missing.