%0 Conference Paper %1 conf/seke/DuttaUA12 %A Dutta, Animesh %A Upadhyay, Prajna Devi %A Acharya, Sudipta %B SEKE %D 2012 %I Knowledge Systems Institute Graduate School %K dblp %P 51-54 %T Requirement Analysis and Automated Verification: A Semantic Approach. %U http://dblp.uni-trier.de/db/conf/seke/seke2012.html#DuttaUA12 %@ 1-891706-31-4

@inproceedings{conf/seke/DuttaUA12, added-at = {2012-08-20T00:00:00.000+0200}, author = {Dutta, Animesh and Upadhyay, Prajna Devi and Acharya, Sudipta}, biburl = {https://www.bibsonomy.org/bibtex/25d73dd0a2fb73447d9d1003ab4bf073c/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2012}, ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2012_Proceedings.pdf}, interhash = {b3cf29c62023946746e2904622cc188c}, intrahash = {5d73dd0a2fb73447d9d1003ab4bf073c}, isbn = {1-891706-31-4}, keywords = {dblp}, pages = {51-54}, publisher = {Knowledge Systems Institute Graduate School}, timestamp = {2020-03-13T12:22:02.000+0100}, title = {Requirement Analysis and Automated Verification: A Semantic Approach.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2012.html#DuttaUA12}, year = 2012 }