%0 Conference Paper %1 conf/ksem/MuZJ09 %A Mu, Kedian %A Zhang, Qi %A Jin, Zhi %B KSEM %D 2009 %E Karagiannis, Dimitris %E Jin, Zhi %I Springer %K dblp %P 263-274 %T Verifying Software Requirements Based on Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/ksem/ksem2009.html#MuZJ09 %V 5914 %@ 978-3-642-10487-9

@inproceedings{conf/ksem/MuZJ09, added-at = {2017-05-25T00:00:00.000+0200}, author = {Mu, Kedian and Zhang, Qi and Jin, Zhi}, biburl = {https://www.bibsonomy.org/bibtex/288d07c08e5dbfbed0d8ed336120695ea/dblp}, booktitle = {KSEM}, crossref = {conf/ksem/2009}, editor = {Karagiannis, Dimitris and Jin, Zhi}, ee = {https://doi.org/10.1007/978-3-642-10488-6_27}, interhash = {c71f6eb917b3e3e8346224ddebfddc33}, intrahash = {88d07c08e5dbfbed0d8ed336120695ea}, isbn = {978-3-642-10487-9}, keywords = {dblp}, pages = {263-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:46:11.000+0200}, title = {Verifying Software Requirements Based on Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/ksem/ksem2009.html#MuZJ09}, volume = 5914, year = 2009 }