%0 Conference Paper %1 conf/date/YanCC15 %A Yan, Rongjie %A Cheng, Chih-Hong %A Chai, Yesheng %B DATE %D 2015 %E Nebel, Wolfgang %E Atienza, David %I ACM %K %P 1677-1682 %T Formal consistency checking over specifications in natural languages. %U http://dblp.uni-trier.de/db/conf/date/date2015.html#YanCC15 %@ 978-3-9815370-4-8

@inproceedings{conf/date/YanCC15, added-at = {2023-12-13T00:32:49.000+0100}, author = {Yan, Rongjie and Cheng, Chih-Hong and Chai, Yesheng}, biburl = {https://www.bibsonomy.org/bibtex/2966004bd592e4294f5f8c01d6d1d6425/admin}, booktitle = {DATE}, crossref = {conf/date/2015}, editor = {Nebel, Wolfgang and Atienza, David}, ee = {http://ieeexplore.ieee.org/document/7092662/}, interhash = {64e721ababe48914fdcf949ad223cda0}, intrahash = {966004bd592e4294f5f8c01d6d1d6425}, isbn = {978-3-9815370-4-8}, keywords = {}, pages = {1677-1682}, publisher = {ACM}, timestamp = {2023-12-13T00:32:49.000+0100}, title = {Formal consistency checking over specifications in natural languages.}, url = {http://dblp.uni-trier.de/db/conf/date/date2015.html#YanCC15}, year = 2015 }