{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:57:51Z","timestamp":1729652271833,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icdcsw.2004.1284120","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"768-773","source":"Crossref","is-referenced-by-count":9,"title":["A validation model for the DSR protocol"],"prefix":"10.1109","author":[{"given":"A.","family":"Cavalli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Grepet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Tortajada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1999","journal-title":"Tech Rep ITU-T","article-title":"Recommandation Z.100: CCITT Specification and Description Language (SDL)","key":"ref10"},{"key":"ref11","first-page":"153","article-title":"Dynamic Source Routing in Ad Hoc Wireless Networks, chapter 5","author":"johnson","year":"1996","journal-title":"Kluwer tomasz imielinski and hank korth edition"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/5.533956"},{"year":"1999","author":"dubuisson","journal-title":"ASN 1","key":"ref13"},{"year":"1997","journal-title":"Verilog ObjectGEODE Simulator","key":"ref14"},{"year":"0","journal-title":"ETSI TTCN-3 TTCN-3 – Core Language","key":"ref15"},{"key":"ref4","article-title":"Ad hoc on demand distance vector (aodv) routing","author":"das","year":"2003","journal-title":"Internet-Draft Draft-ietf-manet-aodv-00 txt"},{"key":"ref3","article-title":"Optimized link state routing protocol","author":"adjih","year":"2003","journal-title":"Internet-Draft Draft-ietf-manet-olsr-08 txt"},{"key":"ref6","article-title":"The zone routing protocol (zrp) for ad hoc networks","author":"haas","year":"2002","journal-title":"IETF Internet Draft Draft-ietf-manet-zone-zrp-04 txt"},{"key":"ref5","article-title":"Temporally-ordered routing algorithm (tora) version 1","author":"park","year":"2001","journal-title":"Internet draft draft-ietf-manet-tora-spec-01 txt"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/0169-7552(95)00125-5"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/288235.288256","article-title":"A performance comparison of multi-hop wireless ad hoc network routing protocols","author":"broch","year":"1998","journal-title":"The Fourth Annual ACM\/IEEE International Conference on Mobile Computing and Networking"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-35578-8_3","article-title":"Hit-or-jump: An algorithm for embedded testing with applications to IN services","volume":"156","author":"cavalli","year":"1999","journal-title":"Formal Methods for Protocol Engineering and Distributed Systems FORTE XII \/ PSTV XIX'99"},{"key":"ref1","article-title":"The dynamic source routing protocol for mobile ad hoc networks (dsr)","author":"johnson","year":"2003","journal-title":"Internet-Draft Draft-ietf-manet-dsr-00 txt"},{"key":"ref9","first-page":"249","article-title":"Generate certified test cases by combining theorem proving and reachability analysis","author":"rouillard","year":"2002","journal-title":"Proceeding of IFIP TC6 \/14th International Conference on Testing of Communicating Systems TESTCOM 2002"}],"event":{"name":"24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings.","start":{"date-parts":[[2004,3,24]]},"location":"Hachioji, Tokyo, Japan","end":{"date-parts":[[2004,3,24]]}},"container-title":["24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9027\/28651\/01284120.pdf?arnumber=1284120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:32Z","timestamp":1497585392000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1284120\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icdcsw.2004.1284120","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}