%0 Conference Paper %1 conf/icse/CobleighCO01 %A Cobleigh, Jamieson M. %A Clarke, Lori A. %A Osterweil, Leon J. %B ICSE %D 2001 %E Müller, Hausi A. %E Harrold, Mary Jean %E Schäfer, Wilhelm %I IEEE Computer Society %K dblp %P 37-46 %T The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. %U http://dblp.uni-trier.de/db/conf/icse/icse2001.html#CobleighCO01 %@ 0-7695-1050-7

@inproceedings{conf/icse/CobleighCO01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Cobleigh, Jamieson M. and Clarke, Lori A. and Osterweil, Leon J.}, biburl = {https://www.bibsonomy.org/bibtex/27bde2c6b5d4c512d573c19f8123d7898/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2001}, editor = {Müller, Hausi A. and Harrold, Mary Jean and Schäfer, Wilhelm}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919079}, interhash = {50e5b9d41375091465557aa0e581220c}, intrahash = {7bde2c6b5d4c512d573c19f8123d7898}, isbn = {0-7695-1050-7}, keywords = {dblp}, pages = {37-46}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:35.000+0200}, title = {The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2001.html#CobleighCO01}, year = 2001 }