@inproceedings {DarvasSPLST2013,
	title = {Efficient Saturation-based Bounded Model Checking of Asynchronous Systems},
	booktitle = {13th Symposium on Programming Languages and Software Tools (SPLST{\textquoteright}13)},
	year = {2013},
	month = {08/2013},
	pages = {259{\textendash}273},
	publisher = {University of Szeged},
	organization = {University of Szeged},
	address = {Szeged, Hungary},
	isbn = {978-963-306-228-9},
	author = {D{\'a}niel Darvas and Andr{\'a}s V{\"o}r{\"o}s and Tam{\'a}s Bartha},
	editor = {{\'A}kos Kiss}
}
