@article {PEAS2013_VorosDarvasBartha,
	author = {Andr\'as V\"or\"os and D\'aniel Darvas and Tam\'as Bartha},
	title = {Bounded saturation-based {CTL} model checking},
	journal = {Proceedings of the Estonian Academy of Sciences},
	year = {2013},
	volume = {62},
	number = {1},
	pages = {59--70},
	doi = {10.3176/proc.2013.1.07},
	issn = {1736-6046},
	bib-link = {PEAS2013_VorosDarvasBartha.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/PEAS2013_VorosDarvasBartha.pdf},
	mtmt = {2692326},
}