{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:12Z","timestamp":1750307172396,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T00:00:00Z","timestamp":1351209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,26]]},"DOI":"10.1145\/2393216.2393276","type":"proceedings-article","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T15:04:07Z","timestamp":1352819047000},"page":"352-357","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV"],"prefix":"10.1145","author":[{"given":"Aditya","family":"Sinha","sequence":"first","affiliation":[{"name":"Manipal University, Manipal, India"}]},{"given":"Ajay","family":"Ry","sequence":"additional","affiliation":[{"name":"Manipal University, Manipal, India"}]},{"given":"Sanjay","family":"Singh","sequence":"additional","affiliation":[{"name":"Manipal University, Manipal, India"}]}],"member":"320","published-online":{"date-parts":[[2012,10,26]]},"reference":[{"unstructured":"Andrew S. Tanenbaum. Computer Networks. Prentice Hall New Delhi India 4 edition 2002.   Andrew S. Tanenbaum. Computer Networks . Prentice Hall New Delhi India 4 edition 2002.","key":"e_1_3_2_1_1_1"},{"issue":"6","key":"e_1_3_2_1_2_1","first-page":"519","article-title":"Formal model and analysis of sliding window protocol based on nusmv","volume":"4","author":"Zhao Yefei","year":"2009","journal-title":"JCP"},{"doi-asserted-by":"crossref","unstructured":"Michael Huth and Mark Dermot Ryan. Logic in Computer Science - Modeling and Reasoning about Systems. Cambridge University Press New York NY USA 2 edition 2004.   Michael Huth and Mark Dermot Ryan. Logic in Computer Science - Modeling and Reasoning about Systems . Cambridge University Press New York NY USA 2 edition 2004.","key":"e_1_3_2_1_3_1","DOI":"10.1017\/CBO9780511810275"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/647768.733923"},{"unstructured":"FBK-IRST. Nusmv. {Available Online} http:\/\/nusmv.fbk.eu\/NuSMV\/index.html 2012.  FBK-IRST. Nusmv. {Available Online} http:\/\/nusmv.fbk.eu\/NuSMV\/index.html 2012.","key":"e_1_3_2_1_5_1"},{"unstructured":"Roberto Cavada Alessandro Cimatti Charles Arthur Jochim Gavin Keighren Emanuele Olivetti Marco Pistore Marco Roveri and Andrei Tchaltsev. Nusmv 2.5 user manual. {Available Online} http:\/\/nusmv.fbk.eu\/NuSMV\/userman\/index-v2.html 2010.  Roberto Cavada Alessandro Cimatti Charles Arthur Jochim Gavin Keighren Emanuele Olivetti Marco Pistore Marco Roveri and Andrei Tchaltsev. Nusmv 2.5 user manual. {Available Online} http:\/\/nusmv.fbk.eu\/NuSMV\/userman\/index-v2.html 2010.","key":"e_1_3_2_1_6_1"}],"event":{"sponsor":["Avinashilingam University Avinashilingam University"],"acronym":"CCSEIT '12","name":"CCSEIT '12: The Second International Conference on Computational Science, Engineering","location":"Coimbatore UNK India"},"container-title":["Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2393216.2393276","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2393216.2393276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:47Z","timestamp":1750240487000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2393216.2393276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,26]]},"references-count":6,"alternative-id":["10.1145\/2393216.2393276","10.1145\/2393216"],"URL":"https:\/\/doi.org\/10.1145\/2393216.2393276","relation":{},"subject":[],"published":{"date-parts":[[2012,10,26]]},"assertion":[{"value":"2012-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}