{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T05:10:29Z","timestamp":1781673029801,"version":"3.54.5"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/ispass.2008.4510741","type":"proceedings-article","created":{"date-parts":[[2008,5,5]],"date-time":"2008-05-05T20:22:01Z","timestamp":1210018921000},"page":"85-94","source":"Crossref","is-referenced-by-count":9,"title":["Performance Analysis of ARQ Protocols using a Theorem Prover"],"prefix":"10.1109","author":[{"given":"Osman","family":"Hasan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.030"},{"key":"17","author":"khazanie","year":"1976","journal-title":"Basic Probability Theory and Applications"},{"key":"18","volume":"2","author":"knuth","year":"1998","journal-title":"The art of computer programming"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1089737.1089739"},{"key":"16","author":"hurd","year":"2002","journal-title":"Formal Verification of Probabilistic Algorithms"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74591-4_10"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1063\/1.2790124"},{"key":"11","year":"0"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_2"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.1984.1091865"},{"key":"20","author":"leon garcia","year":"2004","journal-title":"Communication Networks Fundamental Concepts and Key Architectures"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5014-9_7"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.2307\/2685442"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.2307\/2685736"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"26","year":"2008"},{"key":"27","year":"2008"},{"key":"28","article-title":"mathematical techniques for analyzing concurrent and prohabilisitc systems","volume":"23","author":"rutten","year":"2004","journal-title":"CRM Monograph Series"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.42"},{"key":"3","author":"cardell-oliver","year":"1992","journal-title":"The Formal Verification of Hard Realtime Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8724-2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1591-5"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1979.1094446"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094660"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.012"},{"key":"5","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"31","year":"0"},{"key":"4","first-page":"113","article-title":"verification and improvement of the sliding window protocol","volume":"2619","author":"chkliaev","year":"2003","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3658-0_10"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1978.1094065"}],"event":{"name":"Software (ISPASS)","location":"Austin, TX, USA","start":{"date-parts":[[2008,4,20]]},"end":{"date-parts":[[2008,4,22]]}},"container-title":["ISPASS 2008 - IEEE International Symposium on Performance Analysis of Systems and software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4498398\/4510727\/04510741.pdf?arnumber=4510741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:57:14Z","timestamp":1489690634000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4510741\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ispass.2008.4510741","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}