%0 Journal Article %1 journals/sttt/AvruninCD00 %A Avrunin, George S. %A Corbett, James C. %A Dwyer, Matthew B. %D 2000 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 317-320 %T Benchmarking Finite-State Verifiers. %U http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#AvruninCD00 %V 2

@article{journals/sttt/AvruninCD00, added-at = {2020-04-02T00:00:00.000+0200}, author = {Avrunin, George S. and Corbett, James C. and Dwyer, Matthew B.}, biburl = {https://www.bibsonomy.org/bibtex/29f0effa5556b244bde595534f2211664/dblp}, ee = {https://doi.org/10.1007/s100090050038}, interhash = {37f57a955ebf77a4b55a22106b98e604}, intrahash = {9f0effa5556b244bde595534f2211664}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {317-320}, timestamp = {2020-04-03T11:54:14.000+0200}, title = {Benchmarking Finite-State Verifiers.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#AvruninCD00}, volume = 2, year = 2000 }