Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, "The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification," Software Engineering, International Conference on, pp. 0037, 23rd International Conference on Software Engineering (ICSE'01), 2001.

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

TY - CONF
JO - Software Engineering, International Conference on
TI - The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
SN - 0-7695-1050-7
SP
EP
A1 - Jamieson M. Cobleigh,
A1 - Lori A. Clarke,
A1 - Leon J. Osterweil,
PY - 2001
VL - 0
JA - Software Engineering, International Conference on
ER -