{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:00:28Z","timestamp":1725890428910},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851134"},{"type":"electronic","value":"9783540851141"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85114-1_17","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T23:22:48Z","timestamp":1218583368000},"page":"232-249","source":"Crossref","is-referenced-by-count":5,"title":["Incremental Hashing for Spin"],"prefix":"10.1007","author":[{"given":"Viet Yen","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theo C.","family":"Ruys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Computer Algorithms","author":"S. Baase","year":"2000","unstructured":"Baase, S., van Gelder, A.: Computer Algorithms, 3rd edn. Addison-Wesley (2000)","edition":"3"},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/256163.256168","volume":"15","author":"J.D. Cohen","year":"1997","unstructured":"Cohen, J.D.: Recursive Hashing Functions for N-grams. Transaction On Information Systems\u00a015(3), 291\u2013320 (1997)","journal-title":"Transaction On Information Systems"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-24732-6_5","volume-title":"Model Checking Software","author":"P.C. Dillinger","year":"2004","unstructured":"Dillinger, P.C., Manolios, P.: Fast and Accurate Bitstate Verification for SPIN. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 57\u201375. Springer, Heidelberg (2004)"},{"key":"17_CR4","first-page":"137","volume-title":"Proc. 7th Int. Workshop on Protocol Specification, Testing and Verification (PSTV 1987)","author":"G.J. Holzmann","year":"1987","unstructured":"Holzmann, G.J.: On Limits and Possibilities of Automated Protocol Analysis. In: Proc. 7th Int. Workshop on Protocol Specification, Testing and Verification (PSTV 1987), pp. 137\u2013161. North-Holland, Amsterdam (1987)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1008696026254","volume":"13","author":"G.J. Holzmann","year":"1998","unstructured":"Holzmann, G.J.: An Analysis of Bitstate Hashing. Formal Methods in System Design\u00a013, 289\u2013307 (1998)","journal-title":"Formal Methods in System Design"},{"key":"17_CR6","volume-title":"The Spin Model Checker \u2013 Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The Spin Model Checker \u2013 Primer and Reference Manual. Addison-Wesley, Boston (2004)"},{"key":"17_CR7","unstructured":"Jenkins, B.: Hash Functions. Dr. Dobbs Journal\u00a022(9) (September 1997)"},{"issue":"2","key":"17_CR8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1147\/rd.312.0249","volume":"31","author":"R.M. Karp","year":"1987","unstructured":"Karp, R.M., Rabin, M.O.: Efficient Randomized Pattern-Matching Algorithms. IBM Journal of Research and Development\u00a031(2), 249\u2013260 (1987)","journal-title":"IBM Journal of Research and Development"},{"key":"17_CR9","series-title":"Sorting and Searching","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming, 2nd edn. Sorting and Searching, vol.\u00a03. Addison Wesley Longman Publishing Co., Inc., Redwood City (1998)","edition":"2"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-540-24611-4_10","volume-title":"Validation of Stochastic Systems \u2013 A Guide to Current Research","author":"M. Kuntz","year":"2004","unstructured":"Kuntz, M., Lampka, K.: Probabilistic Methods in State Space Analysis. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 339\u2013383. Springer, Heidelberg (2004)"},{"issue":"2","key":"17_CR11","first-page":"51","volume":"149","author":"T. Mehler","year":"2006","unstructured":"Mehler, T., Edelkamp, S.: Dynamic Incremental Hashing in Program Model Checking. ENTCS\u00a0149(2), 51\u201369 (2006); Proc. of Third Workshop of Model Checking and Artificial Intelligence (MoChArt 2005)","journal-title":"ENTCS"},{"key":"17_CR12","unstructured":"Nguyen, V.Y.: Optimising Techniques for Model Checkers. Master\u2019s thesis, University of Twente, Enschede, The Netherlands (December 2007)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-540-73370-6_17","volume-title":"Model Checking Software","author":"R. Pel\u00e1nek","year":"2007","unstructured":"Pel\u00e1nek, R.: BEEM: Benchmarks for Explicit Model Checkers. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 263\u2013267. Springer, Heidelberg (2007)"},{"issue":"1","key":"17_CR14","first-page":"149","volume":"190","author":"T.C. Ruys","year":"2007","unstructured":"Ruys, T.C., de Brugh, N.H.M.A.: MMC: the Mono Model Checker. ENTCS\u00a0190(1), 149\u2013160 (2007)","journal-title":"ENTCS"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-56922-7_6","volume-title":"Computer Aided Verification","author":"P. Wolper","year":"1993","unstructured":"Wolper, P., Leroy, D.: Reliable Hashing without Collosion Detection. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 59\u201370. Springer, Heidelberg (1993)"},{"key":"17_CR16","unstructured":"BEEM: BEnchmarks for Explicit Model checkers, \n                    \n                      http:\/\/anna.fi.muni.cz\/models\/"},{"key":"17_CR17","unstructured":"CHASH - Incremental Hashing for SPIN, \n                    \n                      http:\/\/www-i2.cs.rwth-aachen.de\/~nguyen\/incrementalHashing"},{"key":"17_CR18","unstructured":"Fowler\/Noll\/Vo (FNV) Hash, \n                    \n                      http:\/\/isthe.com\/chongo\/tech\/comp\/fnv\/"},{"key":"17_CR19","unstructured":"Hsieh, P.: Hash functions, \n                    \n                      http:\/\/www.azillionmonkeys.com\/qed\/hash.html"},{"key":"17_CR20","unstructured":"Jenkins, B.: A Hash Function for Hash Table Lookup, \n                    \n                      http:\/\/burtleburtle.net\/bob\/hash\/doobs.html"},{"key":"17_CR21","unstructured":"SPIN: on-the-fly, LTL model checking, \n                    \n                      http:\/\/spinroot.com\/"},{"key":"17_CR22","unstructured":"Wang, T.: Integer Hash Function (2007), \n                    \n                      http:\/\/www.cris.com\/~Ttwang\/tech\/inthash.htm"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85114-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:04Z","timestamp":1619507704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85114-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851134","9783540851141"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85114-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}