Bounded Model Checking

Saved in:
Bibliographic Details
Published inHandbook of Satisfiability Vol. 185
Format Book Chapter
LanguageEnglish
Published The Netherlands IOS Press, Incorporated 2009
Subjects
Artificial intelligence
Online AccessGet full text

Cover

More Information
ISBN:1586039296
9781586039295
DOI:10.3233/978-1-58603-929-5-457