@inproceedings {SPLST2011_VorosDarvasBartha,
	author = {Andr\'as V\"or\"os and D\'aniel Darvas and Tam\'as Bartha},
	title = {Bounded Saturation Based {CTL} Model Checking},
	year = {2011},
	pages = {149--160},
	publisher = {Tallinn University of Technology, Institute of Cybernetics},
	address = {Tallinn, Estonia},
	editor    = {Jaan Penjam},
	booktitle = {Proceedings of the 12th Symposium on Programming Languages
               and Software Tools, SPLST'11},
	isbn      = {978-9949-23-178-2},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/SPLST2011_VorosDarvasBartha.pdf},
	pres-link = {http://petridotnet.inf.mit.bme.hu/publications/SPLST2011_presentation.pdf},
	bib-link = {SPLST2011_VorosDarvasBartha.bib},
	mtmt = {1773885},
}