by Jörg Brauer
Reference:
Automatic abstraction for bit vectors using decision procedures (Jörg Brauer), Fachgruppe Informatik, RWTH Aachen University, volume 2013,14, 2013. (Zugl.: Aachen, Techn. Hochsch., Diss., 2013)
Bibtex Entry:
@TECHREPORT{Brauer:229199, author = {Brauer, Jörg}, othercontributors = {Kowalewski, Stefan}, title = {{A}utomatic abstraction for bit vectors using decision procedures}, volume = {2013,14}, number = {AIB 2013 14}, address = {Aachen}, publisher = {Fachgruppe Informatik, RWTH Aachen University}, reportid = {AIB 2013 14. AIB-2013-14}, series = {Aachener Informatik-Berichte}, pages = {IV, 207 S. : graph. Darst.}, year = {2013}, note = {Zugl.: Aachen, Techn. Hochsch., Diss., 2013}, keywords = {Abstrakte Interpretation (SWD) / Entscheidungsverfahren (SWD) / Bitvektor (SWD)}, cin = {120000 / 122810}, ddc = {Informatik}, cid = {$I:(DE-82)120000_20140620$ / $I:(DE-82)122810_20140620$}, shelfmark = {F.3.2}, typ = {PUB:(DE-HGF)11 / PUB:(DE-HGF)29}, urn = {urn:nbn:de:hbz:82-opus-48361}, url = {http://publications.rwth-aachen.de/record/229199}, }