Media type: Electronic Resource Title: Combining decision diagrams and SAT procedures for efficient symbolic model checking Contributor: Williams, Poul Frederick [Author]; Biere, Armin [Author]; Clarke, Edmund M. [Author]; Gupta, Anubhav [Author] Published: University of Freiburg: FreiDok, 2000 Published in: Computer aided verification : 12th international conference ; proceedings. - Berlin, 2000. - 124-138, ISBN: 978-3-540-67770-3 Language: English Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.