On Partitioning and Symbolic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Subramanian K. Iyer' in GoogleThis author has not been identified. Look up 'Debashis Sahoo' in GoogleThis author has not been identified. Look up 'E. Allen Emerson' in GoogleThis author has not been identified. Look up 'Jawahar Jain' in Google

runs on WebDSL