TY - GEN
AU - Esparza, Javier
AU - Kiefer, Stefan
AU - Schwoon, Stefan
TI - Abstraction refinement with craig interpolation and symbolic pushdown systems
PB - Fakultät Informatik, Elektrotechnik und Informationstechnik
KW - Model Checking
PY - 2006
BT - Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik ; 2006,2
CY - Stuttgart
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation