JKU Linz  
 
 


Publikationsdetails

Schlagworte Wissenschaftsgebiete 
Zitat: Armin Biere, "Reachability Analysis with QBF" , in Mary Sheeran und Tom Melham: 6th International Workshop on Designing Correct Circuits (DCC 2006), Seite(n) 32-43, 2006
Original Titel: Reachability Analysis with QBF
Sprache des Titels: Englisch
Original Buchtitel: 6th International Workshop on Designing Correct Circuits (DCC 2006)
Seitenreferenz: 32-43
Erscheinungsjahr: 2006
Anzahl der Seiten: 12
Reichweite: international
Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)
Autoren: Armin Biere
Forschungseinheiten: Institut für Formale Modelle und Verifikation
Schlagworte: Quantified Boolean Formulae (QBF)
Wissenschaftsgebiete: Informatik (ÖSTAT:1108)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum