{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:57:03Z","timestamp":1729634223766,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/icics.2011.6174318","type":"proceedings-article","created":{"date-parts":[[2012,4,5]],"date-time":"2012-04-05T13:57:10Z","timestamp":1333634230000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["CPN validation of neighbor detection protocol for ad hoc networks"],"prefix":"10.1109","author":[{"given":"S.","family":"Chinara","sequence":"first","affiliation":[]},{"given":"S. K.","family":"Rath","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for modeling and validation of concurrent systems","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools Technol Transfer"},{"key":"2","first-page":"391","article-title":"TACA: Topology adaptive clustering algorithm for mobile ad hoc networks","volume":"2","author":"chinara","year":"2009","journal-title":"Proc of International Conference on Wireless Networks ICWN09 Las Vegas"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/0471656895"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7"},{"key":"5","article-title":"Title of paper with only first word capitalized","author":"nicole","year":"0","journal-title":"J Name Stand Abbrev"},{"key":"4","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-65307-4_50","article-title":"An introduction to the practical use of coloured petri nets","volume":"1492","author":"jensen","year":"1998","journal-title":"Lecturer Notes in Computer Science"},{"key":"8","first-page":"1191","article-title":"Modeling of a topology adaptive clustering algorithm for mobile ad hoc networks using coloured petri nets","author":"chinara","year":"2010","journal-title":"Proceedings of WASET International Conference on Software and Computer Engineering (ICSCE '10)"}],"event":{"name":"2011 8th International Conference on Information, Communications & Signal Processing (ICICS 2011)","start":{"date-parts":[[2011,12,13]]},"location":"Singapore","end":{"date-parts":[[2011,12,16]]}},"container-title":["2011 8th International Conference on Information, Communications & Signal Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6165552\/6173124\/06174318.pdf?arnumber=6174318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T12:57:24Z","timestamp":1497963444000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6174318\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/icics.2011.6174318","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}