@article{10.1109/ICSE.2001.919079,
author = {Leon J. Osterweil, and Lori A. Clarke, and Jamieson M. Cobleigh, },
title = {The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification},
journal = {Software Engineering, International Conference on},
volume = {00},
number = {},
issn = {},
year = {2001},
pages = {0037},
doi = {doi.ieeecomputersociety.org/10.1109/ICSE.2001.919079},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}