{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:48:43Z","timestamp":1725900523332},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540250565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-32392-9_55","type":"book-chapter","created":{"date-parts":[[2006,5,27]],"date-time":"2006-05-27T07:09:20Z","timestamp":1148713760000},"page":"471-475","source":"Crossref","is-referenced-by-count":1,"title":["Property Driven Mining in Workflow Logs"],"prefix":"10.1007","author":[{"given":"Ella E.","family":"Roubtsova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"55_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","unstructured":"Aalst van der W.M.P., van Dongen B.F., Herbst J., Maruster L., Schimm G., and Weijter A.J.M.M.(2003) Workflow Mining: a Survey of Issues and Approaches. Data and Knowledge Engineering.47(2)), 237\u2013267","journal-title":"Data and Knowledge Engineering"},{"issue":"1","key":"55_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur R., C. Courcoubetis, D.L. Dill. (1993) Model-Checking in Dense Real-Time. Information and Computation. 104(1), 2\u201334","journal-title":"Information and Computation"},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"Bernard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrussi L., Schnoebelen Ph., McKezie P. (2001) Systems and Software Verification. Model-Checking Techniques and Tools. Springer-Verlag","DOI":"10.1007\/978-3-662-04558-9"},{"key":"55_CR4","unstructured":"Dongen B.F.van, Aalst W.M.P.van der.(2004) EMiT: A Process Mining Tool. ICATPN 2004. Ed. J. Cortadelle and W. Reisig. LNCS 3099. 454\u2013463"},{"key":"55_CR5","unstructured":"Java CC. (2004)A parser\/scanner generator for java, http:\/\/javacc.dev.java.net"}],"container-title":["Advances in Soft Computing","Intelligent Information Processing and Web Mining"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-32392-9_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:53:59Z","timestamp":1619571239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-32392-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540250565"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-32392-9_55","relation":{},"subject":[]}}