{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:01:45Z","timestamp":1754481705690},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677703"},{"type":"electronic","value":"9783540450474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_27","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T03:00:33Z","timestamp":1167447633000},"page":"344-357","source":"Crossref","is-referenced-by-count":5,"title":["Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm"],"prefix":"10.1007","author":[{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"first","affiliation":[]},{"given":"Sorin","family":"Stratulat","sequence":"additional","affiliation":[]},{"given":"Francis","family":"Klay","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-52148-8_11","volume-title":"Automatic Verification Methods for Finite State Systems","author":"A. Arnold","year":"1990","unstructured":"Arnold, A.: MEC: A system for constructing and analysing transition systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 117\u2013132. Springer, Heidelberg (1990)"},{"key":"27_CR2","unstructured":"Barras, B., Boutin, S., Cornes, C., Courant, J., Filliatre, J.C., Gim\u00e9nez, E., Herbelin, H., Huet, G., Mu\u00f1oz, C., Murthy, C., Parent, C., Paulin, C., Sa\u00efbi, A., Werner, B.: The Coq Proof Assistant Reference Manual - Version V6.1. Technical Report 0203, INRIA (August 1997)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL: a tool suite for the automatic verification of real-time systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"27_CR4","unstructured":"Berger, A., Bonomi, F., Fendick, K.: Proposed TM baseline text on an ABR conformance definition. Technical Report 95-0212R1, ATM Forum Traffic Management Group (1995)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Fribourg, L.: Automated verification of a parametric real-time program: the ABR conformance protocol. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 96\u2013107. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48683-6_11"},{"key":"27_CR6","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"27_CR7","unstructured":"Fribourg, L.: A closed-form evaluation for extended timed automata. Technical Report LSV-98-2, Lab. Specification and Verification, ENS de Cachan, Cachan, March, France, 17 Pages (1998)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 460\u2013463. Springer, Heidelberg (1997)"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"1723","DOI":"10.1016\/0169-7552(96)00012-8","volume":"28","author":"R. Jain","year":"1996","unstructured":"Jain, R.: Congestion control and traffic management in ATM networks: Recent advances and a survey. Computer Networks and ISDN Systems\u00a028, 1723\u20131738 (1996), \n                    \n                      ftp:\/\/ftp.netlab.ohio-state.edu\/pub\/jain\/papers\/cnis\/index.html","journal-title":"Computer Networks and ISDN Systems"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/3-540-48119-2_37","volume-title":"FM\u201999 - Formal Methods","author":"J.F. Monin","year":"1999","unstructured":"Monin, J.F., Klay, F.: Correctness proof of the standardized algorithm for ABR conformance. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 662\u2013681. Springer, Heidelberg (1999)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)","DOI":"10.1007\/3-540-55602-8_217"},{"key":"27_CR12","unstructured":"Rabadan, C.: L\u2019ABR et sa conformit\u00e9. Technical report, NT DAC\/ARP\/034, CNET (1997)"},{"key":"27_CR13","unstructured":"Rabadan, C., Klay, F.: Un nouvel algorithme de contr\u00f4le de conformit\u00e9 pour la capacit\u00e9 de transfert \u201cAvailable Bit Rate\u201d, Technical Report NT\/CNET\/5476, CNET (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T23:50:30Z","timestamp":1553039430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/10722167_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}