%0 Conference Paper %1 conf/acc/SaralayaKRPS11 %A Saralaya, Vikram %A Kishore, J. K. %A Reddy, Sateesh %A Pai, Radhika M. %A Singh, Sanjay %B ACC (2) %D 2011 %E Abraham, Ajith %E Mauri, Jaime Lloret %E Buford, John F. %E Suzuki, Junichi %E Thampi, Sabu M. %I Springer %K dblp %P 460-470 %T Modeling and Verification of Chess Game Using NuSMV. %U http://dblp.uni-trier.de/db/conf/acc/acc2011-2.html#SaralayaKRPS11 %V 191 %@ 978-3-642-22713-4

@inproceedings{conf/acc/SaralayaKRPS11, added-at = {2019-11-20T00:00:00.000+0100}, author = {Saralaya, Vikram and Kishore, J. K. and Reddy, Sateesh and Pai, Radhika M. and Singh, Sanjay}, biburl = {https://www.bibsonomy.org/bibtex/2f7684879e94335d82abb08375d9ddd74/dblp}, booktitle = {ACC (2)}, crossref = {conf/acc/2011-2}, editor = {Abraham, Ajith and Mauri, Jaime Lloret and Buford, John F. and Suzuki, Junichi and Thampi, Sabu M.}, ee = {https://doi.org/10.1007/978-3-642-22714-1_47}, interhash = {04a79f7b111f9cca850bbf4f532fb746}, intrahash = {f7684879e94335d82abb08375d9ddd74}, isbn = {978-3-642-22713-4}, keywords = {dblp}, pages = {460-470}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2019-11-21T11:43:06.000+0100}, title = {Modeling and Verification of Chess Game Using NuSMV.}, url = {http://dblp.uni-trier.de/db/conf/acc/acc2011-2.html#SaralayaKRPS11}, volume = 191, year = 2011 }