@inproceedings {ISPDC2011_VorosEtAl,
	title = {Parallel Saturation Based Model Checking},
	booktitle = {Proceedings of the 10th International Symposium on Parallel and Distributed Computing (ISPDC)},
	year = {2011},
	isbn = {978-1-4577-1536-5},
	publisher = {IEEE Computer Society},
	location = {Cluj Napoca, Romania},
	author = {Andr\'as V\"or\"os and Tam\'as Bartha and D\'aniel Darvas and Tam\'as Szab\'o and Attila J\'ambor and \'Akos Horv\'ath},
	pages = {94-101},
	doi = {10.1109/ISPDC.2011.23},
	bib-link = {ISPDC2011_VorosEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/ISPDC2011_VorosEtAl.pdf},
	mtmt = {1773884},
}