On Partitioning and Symbolic Model Checking

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain. On Partitioning and Symbolic Model Checking. In John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki, editors, FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Volume 3582 of Lecture Notes in Computer Science, pages 497-511, Springer, 2005. [doi]

Abstract

Abstract is missing.