{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:03Z","timestamp":1725549843021},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540272311"},{"type":"electronic","value":"9783540316862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11513988_40","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:33:28Z","timestamp":1268382808000},"page":"413-417","source":"Crossref","is-referenced-by-count":14,"title":["Action Language Verifier, Extended"],"prefix":"10.1007","author":[{"given":"Tuba","family":"Yavuz-Kahveci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantinos","family":"Bartzis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"The Omega project. Available at, http:\/\/www.cs.umd.edu\/projects\/omega\/?"},{"key":"40_CR2","unstructured":"Bartzis, C.: Symbolic Representations for Integer Sets in Automated Verification. PhD thesis, University of California, Santa Barbara (2004)"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Bultan, T.: Action language: A specification language for model checking reactive systems. In: Proc. ICSE 2000, pp. 335\u2013344 (June 2000)","DOI":"10.1145\/337180.337219"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Bultan, T., Yavuz-Kahveci, T.: Action language verifier. In: Proc. of ASE 2001, pp. 382\u2013386 (November 2001)","DOI":"10.1109\/ASE.2001.989834"},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"Delzanno, G.: Automatic verification of parameterized cache coherence protocols. In: CAV 2000, pp. 53\u201368 (2000)","DOI":"10.1007\/10722167_8"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Henriksen, J.G., Jensen, J., Jorgensen, M., Klarlund, N., Paige, R., Rauhe, T., Sandholm, A.: Mona: Monadic second-order logic in practice. In: TACAS 1995 (1995)","DOI":"10.7146\/brics.v2i21.19923"},{"key":"40_CR7","unstructured":"Yavuz-Kahveci, T.: Specification and Automated Verification of Concurrent Software Systems. PhD thesis, University of California, Santa Barbara (2004)"},{"issue":"1","key":"40_CR8","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-002-0091-4","volume":"5","author":"T. Yavuz-Kahveci","year":"2003","unstructured":"Yavuz-Kahveci, T., Bultan, T.: A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. STTT\u00a05(1), 15\u201333 (2003)","journal-title":"STTT"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11513988_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:08Z","timestamp":1605625508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11513988_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540272311","9783540316862"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11513988_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}