@inproceedings{conf/iccsa/QianZCG08,
title = {Formula-Dependent Abstraction for CTL Model Checking.},
author = {Junyan Qian and Lingzhong Zhao and Guoyong Cai and Tianlong Gu},
booktitle = {ICCSA (2)},
crossref = {conf/iccsa/2008-2},
editor = {Osvaldo Gervasi and Beniamino Murgante and Antonio Laganà and David Taniar and Youngsong Mun and Marina L. Gavrilova},
pages = {1035-1048},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2008-2.html#QianZCG08},
volume = {5073},
year = {2008},
description = {dblp},
date = {2008-07-08}, ee = {http://dx.doi.org/10.1007/978-3-540-69848-7_82}, isbn = {978-3-540-69840-1},
keywords = {dblp }
}
::