@inproceedings{chen-rosu-2006-sas, title = {Parametric and Termination-Sensitive Control Dependence - Extended Abstract}, author = {Feng Chen and Grigore Ro{\c s}u}, booktitle = {Proceedings of the 13th International Static Analysis Symposium (SAS'06)}, publisher = {Springer}, series = {LNCS}, volume = {4134}, pages = {387-404}, year = {2006} }