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},
}