@inproceedings {1666,
	title = {Parallel Saturation Based Model Checking},
	booktitle = {The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011)},
	year = {2011},
	month = {07/2011},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Cluj Napoca},
	isbn = {978-1-4577-1536-5},
	doi = {10.1109/ISPDC.2011.23},
	url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=6108260},
	author = {Andr{\'a}s V{\"o}r{\"o}s and Tam{\'a}s Bartha and D{\'a}niel Darvas and Tam{\'a}s Szab{\'o} and Attila J{\'a}mbor and {\'A}kos Horv{\'a}th}
}
