@inproceedings {267114,
	author = {Carsten Sinz and Stephan Falke and Florian Merz},
	title = {A Precise Memory Model for {Low-Level} Bounded Model Checking},
	booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/ssv10/precise-memory-model-low-level-bounded-model-checking},
	publisher = {USENIX Association},
	month = oct
}
