%0 Conference Paper %1 conf/re/HeitmeyerLK95 %A Heitmeyer, Constance L. %A Labaw, Bruce G. %A Kiskis, Daniel L. %B RE %D 1995 %I IEEE Computer Society %K dblp %P 56-65 %T Consistency checking of SCR-style requirements specifications. %U http://dblp.uni-trier.de/db/conf/re/re1995.html#HeitmeyerLK95 %@ 0-8186-7017-7

@inproceedings{conf/re/HeitmeyerLK95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Labaw, Bruce G. and Kiskis, Daniel L.}, biburl = {https://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblp}, booktitle = {RE}, crossref = {conf/re/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISRE.1995.512546}, interhash = {5e32c095a3726f623b35f9be76cebd88}, intrahash = {0772003e02dff005a5432c2fb77efd26}, isbn = {0-8186-7017-7}, keywords = {dblp}, pages = {56-65}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:09:36.000+0200}, title = {Consistency checking of SCR-style requirements specifications.}, url = {http://dblp.uni-trier.de/db/conf/re/re1995.html#HeitmeyerLK95}, year = 1995 }