%0 Conference Paper %1 conf/icse/TanAC06 %A Tan, Jianbin %A Avrunin, George S. %A Clarke, Lori A. %B ICSE %D 2006 %E Osterweil, Leon J. %E Rombach, H. Dieter %E Soffa, Mary Lou %I ACM %K dblp %P 152-161 %T Managing space for finite-state verification. %U http://dblp.uni-trier.de/db/conf/icse/icse2006.html#TanAC06 %@ 1-59593-375-1

@inproceedings{conf/icse/TanAC06, added-at = {2018-11-26T00:00:00.000+0100}, author = {Tan, Jianbin and Avrunin, George S. and Clarke, Lori A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/298d1c4bf9f77812f92abfeb865f70d69/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2006}, editor = {Osterweil, Leon J. and Rombach, H. Dieter and Soffa, Mary Lou}, ee = {https://doi.org/10.1145/1134285.1134308}, interhash = {b332d1047e6d9bdd6670700a2cbfa4f6}, intrahash = {98d1c4bf9f77812f92abfeb865f70d69}, isbn = {1-59593-375-1}, keywords = {dblp}, pages = {152-161}, publisher = {ACM}, timestamp = {2019-09-27T17:44:28.000+0200}, title = {Managing space for finite-state verification.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2006.html#TanAC06}, year = 2006 }