{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:27Z","timestamp":1725494307904},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662228"},{"type":"electronic","value":"9783540486602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48660-7_18","type":"book-chapter","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T15:53:07Z","timestamp":1194623587000},"page":"222-226","source":"Crossref","is-referenced-by-count":1,"title":["System Description Using OBDD\u2019s for the Validationof Skolem Verification Conditions"],"prefix":"10.1007","author":[{"given":"E.","family":"Pascal Gribomont","sequence":"first","affiliation":[]},{"given":"Nachaat","family":"Salloum","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"key":"18_CR1","unstructured":"H.R. Andersen, An Introduction to Binary Decision Diagrams, Available at \n                    http:\/\/andrea.it.dtu.dk\/~hra\/notes-index.html\n                    \n                   (1997, 1998."},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/3-540-63166-6_3","volume":"1254","author":"A. Bor\u00e4lv","year":"1997","unstructured":"A. Bor\u00e4lv, The Industrial Success of Verification Tools Based on Stalm\u00e5rck\u2019s method, Lect. Notes in Comput. Sci. 1254 (1997) 7\u201310.","journal-title":"Lect. Notes in Comput. Sci."},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Trans. on Computers C-35 (1986) 677\u2013691.","journal-title":"IEEE Trans. on Computers"},{"key":"18_CR4","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"K.M. Chandy and J. Misra, Parallel Program Design: A Foundation (Addison-Wesley, Reading, MA, 1988)."},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-60045-0_41","volume":"939","author":"E.P. Gribomont","year":"1995","unstructured":"E.P. Gribomont and D. Rossetto, CAVEAT: technique and tool for Computer Aided VErification And Transformation, Lect. Notes in Comput. Sci. 939 (1995) 70\u201383.","journal-title":"Lect. Notes in Comput. Sci."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/BFb0054187","volume":"1384","author":"E.P. Gribomont","year":"1998","unstructured":"E.P. Gribomont and G. Zenner, Automated verification of Szymanski\u2019s algorithm, Lect. Notes in Comput. Sci. 1384 (1998) 424\u2013438.","journal-title":"Lect. Notes in Comput. Sci."},{"key":"18_CR7","unstructured":"B. Szymanski and J. Vidal, Automatic Verification of a Class of Symmetric Parallel Programs, 13th IFIP World Computer Congress, IFIP-Elsevier (1994) 571\u2013576."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-16"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48660-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T22:08:58Z","timestamp":1551046138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48660-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662228","9783540486602"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-48660-7_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}