author = { Esparza, Javier AND Kiefer, Stefan AND Schwoon, Stefan },

title = { Abstraction refinement with craig interpolation and symbolic pushdown systems },

publisher = {Fakultät Informatik, Elektrotechnik und Informationstechnik},

keywords = { Model Checking },

year = {2006},

booktitle = {Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik ; 2006,2},

address = { Stuttgart },

url = { http://slubdd.de/katalog?TN_libero_mab2 }