{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:56Z","timestamp":1725455396869},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540193661"},{"type":"electronic","value":"9783540392392"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/bfb0019803","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:25:50Z","timestamp":1131841550000},"page":"167-186","source":"Crossref","is-referenced-by-count":0,"title":["Verification of connection-management protocols"],"prefix":"10.1007","author":[{"given":"Anneke A.","family":"Schoone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/TCOM.1976.1093283","volume":"24","author":"D. Belsnes","year":"1976","unstructured":"Belsnes, D., Single-Message Communication, IEEE Trans. Commun. 24 (1976), 190\u2013194.","journal-title":"IEEE Trans. Commun."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0376-5075(78)90006-5","volume":"2","author":"J.G. Fletcher","year":"1978","unstructured":"Fletcher, J.G. and R.W. Watson, Mechanisms for a Reliable Timer-Based Protocol, Computer Networks 2 (1978), 271\u2013290.","journal-title":"Computer Networks"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01934068","volume":"21","author":"D.E. Knuth","year":"1981","unstructured":"Knuth, D.E., Verification of Link-Level Protocols, BIT 21 (1981), 31\u201336.","journal-title":"BIT"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/BF01932022","volume":"18","author":"S. Krogdahl","year":"1978","unstructured":"Krogdahl, S., Verification of a Class of Link-Level Protocols, BIT 18 (1978), 436\u2013448.","journal-title":"BIT"},{"key":"14_CR5","series-title":"Techn. Rep.","volume-title":"Verification of Balanced Link-Level Protocols","author":"A.A. Schoone","year":"1985","unstructured":"Schoone, A.A. and J. van Leeuwen, Verification of Balanced Link-Level Protocols, Techn. Rep. RUU-CS-85-12, Dept. of Computer Science, University of Utrecht, Utrecht, 1985. (Submitted for publication.)"},{"key":"14_CR6","series-title":"Techn. Rep.","volume-title":"Verification of Connection-Management Protocols","author":"A.A. Schoone","year":"1987","unstructured":"Schoone, A.A., Verification of Connection-Management Protocols, Techn. Rep. RUU-CS-87-14, Dept. of Computer Science, University of Utrecht, Utrecht, 1987."},{"key":"14_CR7","series-title":"Techn. Rep.","volume-title":"Assertional Verification of a Timer-Based Protocol","author":"G. Tel","year":"1987","unstructured":"Tel, G., Assertional Verification of a Timer-Based Protocol, Techn. Rep. RUU-CS-87-15, Dept. of Computer Science, University of Utrecht, Utrecht, 1987."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Tomlinson, R.S., Selecting Sequence Numbers, Proc. ACM SIGCOMM\/SIGOPS Interprocess Commun. Workshop, ACM, pp. 11\u201323, 1975.","DOI":"10.1145\/800272.810894"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T06:08:24Z","timestamp":1549260504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540193661","9783540392392"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0019803","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}