{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:59Z","timestamp":1725663899085},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:25:39Z","timestamp":1330269939000},"page":"364-376","source":"Crossref","is-referenced-by-count":2,"title":["Performance improvement of state space exploration by regular & differential hashing functions"],"prefix":"10.1007","author":[{"given":"Bernard","family":"Cousin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-michel","family":"H\u00e9lary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"B.Algayres, & all, \u201cVesar: a Pragmatic Approach to Formal Specification and Verification\u201d, Computer Network and ISDN Systems, vol 25 n\u21347, February 1991.","key":"30_CR1","DOI":"10.1016\/0169-7552(93)90048-9"},{"unstructured":"B.Bonafos, E.Domingo, \u201cLeda: Structured Language for Automata Description and Verification\u201d, rapp. de recherche, Bordeaux-France, June 1990.","key":"30_CR2"},{"unstructured":"C.Campergue, C.Nouaille, \u201cBouster: g\u00e9n\u00e9ration parall\u00e8le du graphe des marquages accessibles\u201d, rapport ENSERB, Bordeaux-France, Juin 1992.","key":"30_CR3"},{"unstructured":"B.Cousin, \u201cDifferential Hashing Functions: Application to Reachability Graph Generation\u201d. ICCI'93. Sudbury \u2014 Canada, 26\u201329 May 1993.","key":"30_CR4"},{"unstructured":"B.Cousin, \u201cLes fonctions de hachage diff\u00e9rentielles\u201d. CFIP'93. Montr\u00e9al \u2014 Canada, 7\u20139 septembre 1993. Herm\u00e8s, p525\u2013541.","key":"30_CR5"},{"unstructured":"G.Deudon, C.Houillon, \u201cTechniques de hachage\u201d, rapport interne ENSERB, Bordeaux-France, Juin 1992.","key":"30_CR6"},{"unstructured":"D.D.Dimitrijevic, M.S. Chen, \u201cDynamic State Explosion in Quantitative Protocol Analysis\u201d,PSTV-IX, Twente-Netherland, 6\u20139June 1989.","key":"30_CR7"},{"unstructured":"L.Doldi, P.Gauthier, \u201cVeda-2: Power to the Protocol Designers\u201d, FORTE'92, Lannion-France, 13\u201316 Octobre 1992.","key":"30_CR8"},{"unstructured":"H.Garavel, J.Sifakis, \u201cCompilation and Verification of Lotos Specifications\u201d, PSTV-X, Ottawa, June 1990.","key":"30_CR9"},{"doi-asserted-by":"crossref","unstructured":"G.J.Holzmann, \u201cAn Improved Protocol Reachability Analysis Technique\u201d, Sofware, Practice and Experience, vol 18 n\u21342, Feb. 1988.","key":"30_CR10","DOI":"10.1002\/spe.4380180203"},{"unstructured":"G.J.Holzmann, \u201cDesign and Validation of Computer Protocols\u201d, Prentice-Hall, 1991.","key":"30_CR11"},{"unstructured":"D.E.Knuth, \u201cThe Art of Computer Programming: Sorting and Searching\u201d, vol 3, Addison-Wesley, 1973.","key":"30_CR12"},{"issue":"n\u21343","key":"30_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1093\/comjnl\/18.3.265","volume":"18","author":"G.D. Knott","year":"1975","unstructured":"G.D.Knott, \u201cHashing Functions\u201d, The Computer Journal, vol 18, n\u21343, August 1975, p265\u2013278.","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"V.Y.Lum, P.S.T.Yuen, M.Dodd, \u201cKey-to-Adress Transform Techniques: a Fundamental Performance Study on Large Existing Formatted Files\u201d, Communications of the ACM vol14 n\u21344, April 1971.","key":"30_CR14","DOI":"10.1145\/362575.362578"},{"unstructured":"C.H.West, \u201cProtocol Validation by Random State Exploration\u201d, PSTV-VI, Montr\u00e9al \u2014 Canada, June 1986.","key":"30_CR15"},{"doi-asserted-by":"crossref","unstructured":"P.Wolper, D.Leroy, \u201cReliable Hashing without Collision Detection\u201d, CAV, Elounda \u2014 Greece, June 1993.","key":"30_CR16","DOI":"10.1007\/3-540-56922-7_6"},{"unstructured":"J.Zhao, G.Bochmann, \u201cReduced Reachability Analysis of Communication Protocols: a New Approach\u201d, PSTV-VI, Montr\u00e9al \u2014 Canada, June 1986.","key":"30_CR17"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:58Z","timestamp":1605647878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}