%0 Journal Article %1 journals/ase/BharadwajH99 %A Bharadwaj, Ramesh %A Heitmeyer, Constance L. %D 1999 %J Autom. Softw. Eng. %K dblp %N 1 %P 37-68 %T Model Checking Complete Requirements Specifications Using Abstraction. %U http://dblp.uni-trier.de/db/journals/ase/ase6.html#BharadwajH99 %V 6

@article{journals/ase/BharadwajH99, added-at = {2011-05-18T00:00:00.000+0200}, author = {Bharadwaj, Ramesh and Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/24e6159373344b204e2c42cc3bfb4c9f6/dblp}, ee = {http://dx.doi.org/10.1023/A:1008697817793}, interhash = {028f0985a54550386827585126aab1fd}, intrahash = {4e6159373344b204e2c42cc3bfb4c9f6}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {37-68}, timestamp = {2011-05-19T11:38:42.000+0200}, title = {Model Checking Complete Requirements Specifications Using Abstraction.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase6.html#BharadwajH99}, volume = 6, year = 1999 }