@inproceedings {SPLST2013_DarvasVorosBartha,
	author = {D\'aniel Darvas and Andr\'as V\"or\"os and Tam\'as Bartha},
	title = {Efficient Saturation-based Bounded Model Checking of Asynchronous Systems},
	year = {2013},
	pages = {259--273},
	publisher = {University of Szeged},
	address = {Szeged, Hungary},
	editor    = {\'Akos Kiss},
	booktitle = {Proceedings of the 13th Symposium on Programming Languages
               and Software Tools, SPLST'13},
	isbn      = {978-963-306-228-9},
	bib-link = {SPLST2013_DarvasVorosBartha.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/SPLST2013_DarvasVorosBartha.pdf},
	mtmt = {2442428},
}