@inproceedings {2166,
	title = {Bounded Saturation Based CTL Model Checking.},
	booktitle = {12th Symposium on Programming Languages and Software Tools - SPLST{\textquoteright}11},
	year = {2011},
	author = {Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Darvas and Tam{\'a}s Bartha}
}
