%0 Journal Article %1 journals/bell/HolzmannS00 %A Holzmann, Gerard J. %A Smith, Margaret H. %D 2000 %J Bell Labs Tech. J. %K dblp %N 2 %P 72-87 %T Automating software feature verification. %U http://dblp.uni-trier.de/db/journals/bell/bell5.html#HolzmannS00 %V 5

@article{journals/bell/HolzmannS00, added-at = {2020-02-27T00:00:00.000+0100}, author = {Holzmann, Gerard J. and Smith, Margaret H.}, biburl = {https://www.bibsonomy.org/bibtex/2decb1f64d91325ab84d81eabb2db2b16/dblp}, ee = {https://doi.org/10.1002/bltj.2223}, interhash = {a54c880f1f1bb49506b228d24d252a6d}, intrahash = {decb1f64d91325ab84d81eabb2db2b16}, journal = {Bell Labs Tech. J.}, keywords = {dblp}, number = 2, pages = {72-87}, timestamp = {2020-02-28T11:39:54.000+0100}, title = {Automating software feature verification.}, url = {http://dblp.uni-trier.de/db/journals/bell/bell5.html#HolzmannS00}, volume = 5, year = 2000 }