Dirk Nowotka, Johannes Traub. MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code. In Erhard Plödereder, Peter Dencker, Herbert Klenk, Hubert B. Keller, Silke Spitzer, editors, Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings. Volume 210 of LNI, pages 69-83, GI, 2012.
@inproceedings{NowotkaT12,
title = {MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code},
author = {Dirk Nowotka and Johannes Traub},
year = {2012},
researchr = {https://researchr.org/publication/NowotkaT12},
cites = {0},
citedby = {0},
pages = {69-83},
booktitle = {Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings},
editor = {Erhard Plödereder and Peter Dencker and Herbert Klenk and Hubert B. Keller and Silke Spitzer},
volume = {210},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-604-6},
}