A Survey of Recent Advances in SAT-based Formal Verification

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	156-173
Seitenumfang	18
Fachzeitschrift	International Journal on Software Tools for Technology Transfer (STTT)
Volume	7
Ausgabenummer	2
DOIs	https://doi.org/10.1007/s10009-004-0183-4
Publikationsstatus	Veröffentlicht - Apr. 2005

Wissenschaftszweige

@article{77eeed0fa07c471aabb855cd0a4e7aff,

title = "A Survey of Recent Advances in SAT-based Formal Verification",

author = "Armin Biere",

year = "2005",

month = apr,

doi = "10.1007/s10009-004-0183-4",

language = "English",

volume = "7",

pages = "156--173",

journal = "International Journal on Software Tools for Technology Transfer (STTT)",

issn = "1433-2787",

publisher = "Springer Nature",

number = "2",

}

TY - JOUR

T1 - A Survey of Recent Advances in SAT-based Formal Verification

AU - Biere, Armin

PY - 2005/4

Y1 - 2005/4

UR - https://www.scopus.com/pages/publications/25144498654

U2 - 10.1007/s10009-004-0183-4

DO - 10.1007/s10009-004-0183-4

M3 - Article

SN - 1433-2787

VL - 7

SP - 156

EP - 173

JO - International Journal on Software Tools for Technology Transfer (STTT)

JF - International Journal on Software Tools for Technology Transfer (STTT)

IS - 2

ER -