{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:29:05Z","timestamp":1725701345826},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329425"},{"type":"electronic","value":"9783642329432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32943-2_12","type":"book-chapter","created":{"date-parts":[[2012,8,28]],"date-time":"2012-08-28T04:59:35Z","timestamp":1346129975000},"page":"159-163","source":"Crossref","is-referenced-by-count":0,"title":["A Conformance Checker Tool CSPConCheck"],"prefix":"10.1007","author":[{"given":"Suman","family":"Roy","sequence":"first","affiliation":[]},{"given":"Sidharth","family":"Bihary","sequence":"additional","affiliation":[]},{"given":"Jose Alfonso Corso","family":"Laos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Bihary, S., Koneti, J., Roy, S.: Process conformance using CSP. In: Proceeding of the 5th ISEC 2012, pp. 139\u2013142. ACM (2012)","DOI":"10.1145\/2134254.2134278"},{"key":"12_CR2","unstructured":"Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. ECEASST\u00a06 (2007)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Liu, Y., Sun, J., Dong, J.S.: PAT 3: An extensible architecture for building multi-domain model checkers. In: IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE 2011), pp. 190\u2013199 (2011)","DOI":"10.1109\/ISSRE.2011.19"},{"key":"12_CR5","unstructured":"Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall (1997)"},{"key":"12_CR6","unstructured":"Sarbanes, P., Oxley, G., et al.: Sarbanes-Oxley act of 2002 (2002)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-05089-3_9","volume-title":"FM 2009: Formal Methods","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Roychoudhury, A., Liu, S., Dong, J.S.: Fair Model Checking with Process Counter Abstraction. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 123\u2013139. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32943-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T17:51:33Z","timestamp":1643305893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32943-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329425","9783642329432"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32943-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}