by Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Bibtex Entry:
@article { BKK12,
month = { July },
doi = { 10.1016/j.scico.2012.06.001 },
author = { Brauer, J{"o}rg and King, Andy and Kowalewski, Stefan },
title = { Abstract {I}nterpretation of {M}icrocontroller {C}ode:
{I}ntervals meet {C}ongruences },
journal = { Science of Computer Programming },
year = { 2012 },
volume = { 77 },
publisher = { Elsevier },
publishedas = { Online Druck },
issn = { 0167-6423 },
i11key = { journal },
language = { eng },
url = { http://www.sciencedirect.com/science/article/pii/S0167642312001116" },
note = { To appear },
i11projectkey = { Arcade },
timestamp = { 2012.09.06 },
for_reporting_period = { 2012 },
}