Media type: E-Article Title: Frontiers of Combining Systems: Integrating BDD-Based and SAT-Based Symbolic Model Checking Contributor: Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando imprint: Springer Berlin Heidelberg, 2002 Published in: Frontiers of Combining Systems Language: Not determined DOI: 10.1007/3-540-45988-x_5 ISSN: 0302-9743 Origination: Footnote: