@article {3399,
	title = {Bounded saturation-based CTL model checking},
	journal = {Proceedings of the Estonian Academy of Sciences},
	volume = {62},
	year = {2013},
	month = {03/2013},
	pages = {12},
	chapter = {59},
	keywords = {bounded model checking, Computation Tree Logic, Multiple-valued Decision Diagram, saturation, temporal logic},
	issn = {1736-6046},
	doi = {10.3176/proc.2013.1.07},
	url = {http://www.kirj.ee/21908/?tpl=1061\&c_tpl=1064},
	author = {Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Darvas and Tam{\'a}s Bartha}
}
