{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:41:26Z","timestamp":1780994486521,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540631668","type":"print"},{"value":"9783540691952","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63166-6_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:14:01Z","timestamp":1330298041000},"page":"448-451","source":"Crossref","is-referenced-by-count":5,"title":["Mosel: A sound and efficient tool for M2L(Str)"],"prefix":"10.1007","author":[{"given":"Peter","family":"Kelb","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Mendier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"Gsottberger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"8","key":"45_CR1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant: \u201cGraph-based algorithms for boolean function manipulation,\u201d IEEE Trans. Computing, vol. C-35(8), August 1986, pp. 677\u2013691.","journal-title":"IEEE Trans. Computing"},{"key":"45_CR2","unstructured":"A. Church: \u201cLogic, arithmetic and automata,\u201d Proc. Int. Congr. Math., Almqvist and Wiksells, Uppsala 1963, pp. 23\u201335."},{"key":"45_CR3","unstructured":"daVinci: the tool is available via ftp at site ftp:\/\/ftp.uni-bremen.de\/pub\/graphics\/dAVinci"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"J. HOpcrOfT: \u201cAn N log n algoRithm for miNimizing sTateS in a finite automaTon,\u201d Proc. Int. Symp. On ThEory of Machines and Computations, Technion, Haifa (IL), Aug. 1971, pp.189\u2013196.","DOI":"10.1016\/B978-0-12-417750-5.50022-1"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"J. Henriksen, J. JenSen, M. J\u00f8rgensen N. Klarlund, R. Paige, T. Rauhe, A. Sandholm: \u201cMona: MonadiC seCond-order logic in practice,\u201d Proc. of TACAS'95, Aarhus (DK), May 1995, LNCS 1019, Springer Verlag, pp. 89\u2013110.","DOI":"10.1007\/3-540-60630-0_5"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"P. Kelb, T. Margaria, M. Mendier, C. Gsottberger: \u201cMOSEL: A FlexibLe ToolsET fOR Monadic Second-Order Logic,\u201d TACAS'97, Enschede (NL), April 1997, LNCS 1217, Springer Verlag, pp. 183\u2013202.","DOI":"10.1007\/BFb0035388"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"T. MArgaRia: \u201cFully AutOmatic Verification and ERror DetEction for Parameterized Iterative Sequential Circuits\u201d, Proc. TACAS'96, Passau (D), March 1996, LNCS 1055, SpRinger Verlag, pp. 258\u2013277.","DOI":"10.1007\/3-540-61042-1_49"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63166-6_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:47Z","timestamp":1605647807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63166-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631668","9783540691952"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-63166-6_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}