{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:25Z","timestamp":1725504565994},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786238"},{"type":"electronic","value":"9783540786245"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78624-5_5","type":"book-chapter","created":{"date-parts":[[2008,2,22]],"date-time":"2008-02-22T08:25:38Z","timestamp":1203668738000},"page":"62-74","source":"Crossref","is-referenced-by-count":0,"title":["Generating Macro-Temporality in Timed Transition Diagrams"],"prefix":"10.1007","author":[{"given":"Aida","family":"Kami\u0161ali\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Ria\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatjana","family":"Welzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Kami\u0161ali\u0107, A., Ria\u00f1o, D., Real, F., Welzer, T.: Temporal Constraints Approximation from Data about Medical Procedures. In: CBMS 2007, Maribor, Slovenia","DOI":"10.1109\/CBMS.2007.107"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Ria\u00f1o, D.: The SDA Model v1.0: a Set Theory Approach., URV, Tech. report, DEIM-RT-07-001 (February 2007)","DOI":"10.1109\/CBMS.2007.110"},{"key":"5_CR3","unstructured":"Health Care Guideline: \u201cAtrial Fibrillation\u201d, Institute for Clinical Systems Improvement (February 2007), http:\/\/www.icsi.org\/"},{"key":"5_CR4","unstructured":"Bohada, J.A., Ria\u00f1o, D.: A CPG-based CBR model to offer the best available medical therapy. In: STAIRS 2004, Valencia, Spain"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Timed Transition Systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 226\u2013251. Springer, Heidelberg (1992)"},{"key":"5_CR6","unstructured":"Wolfram Research: \u201cStatistics \u2013 Descriptive Statistics\u201d, Mathematica 5.2. Documentation last visited 19.4.2007, http:\/\/www.wolfram.com"}],"container-title":["Lecture Notes in Computer Science","Knowledge Management for Health Care Procedures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78624-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:15:43Z","timestamp":1619522143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78624-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540786238","9783540786245"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78624-5_5","relation":{},"subject":[]}}