%0 Journal Article %1 journals/tosem/HeitmeyerJL96 %A Heitmeyer, Constance L. %A Jeffords, Ralph D. %A Labaw, Bruce G. %D 1996 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 3 %P 231-261 %T Automated Consistency Checking of Requirements Specifications. %U http://dblp.uni-trier.de/db/journals/tosem/tosem5.html#HeitmeyerJL96 %V 5

@article{journals/tosem/HeitmeyerJL96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Jeffords, Ralph D. and Labaw, Bruce G.}, biburl = {https://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblp}, ee = {https://doi.org/10.1145/234426.234431}, interhash = {8834a18314e83eab598a4e413f0d0feb}, intrahash = {9b16a81b04c103b8489022eb4682bf4c}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 3, pages = {231-261}, timestamp = {2018-11-07T12:16:16.000+0100}, title = {Automated Consistency Checking of Requirements Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem5.html#HeitmeyerJL96}, volume = 5, year = 1996 }