{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T08:40:09Z","timestamp":1739090409108,"version":"3.37.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,5,5]],"date-time":"2009-05-05T00:00:00Z","timestamp":1241481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s11334-009-0086-3","type":"journal-article","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T20:57:14Z","timestamp":1241470634000},"page":"129-138","source":"Crossref","is-referenced-by-count":5,"title":["Modeling selected real-time database concurrency control protocols in Uppaal"],"prefix":"10.1007","volume":"5","author":[{"given":"Martin","family":"Kot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,5]]},"reference":[{"key":"86_CR1","unstructured":"Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Proceedings of international colloquium on algorithms, languages, and programming. LNCS, vol 443, pp 322\u2013335"},{"key":"86_CR2","unstructured":"Behrmann G, David A, Larsen KG (2008) A tutorial on Uppaal. Available on-line at http:\/\/www.it.uu.se\/research\/group\/darts\/papers\/texts\/new-tutorial.pdf (December 15, 2008)"},{"key":"86_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and software verification, model-checking techniques and tools. ISBN 978-3540415237","author":"B Berard","year":"2001","unstructured":"Berard B, Bidoit M, Petit A, Laroussinie F, Petrucci L, Schnoebelen P (2001) Systems and software verification, model-checking techniques and tools. ISBN 978-3540415237. Springer, Berlin"},{"key":"86_CR4","unstructured":"David A, Amnell T (2008) Uppaal2k: small tutorial. Available on-line at http:\/\/www.it.uu.se\/research\/group\/darts\/uppaal\/tutorial.ps (December 15, 2008)"},{"key":"86_CR5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger TA (1994) Symbolic model checking for real-time systems. Inform Comput 111: 193\u2013244","journal-title":"Inform Comput"},{"key":"86_CR6","unstructured":"Kr\u00f3l V (2006) Metody ov\u011b\u0159ov\u00e1n\u00ed vlastnost\u00ed real-time datab\u00e1zov\u00e9ho syst\u00e9mu s pou\u017eit\u00edm jeho experiment\u00e1ln\u00edho modelu. Dissertation thesis. VSB-Technical university of Ostrava, (in Czech)"},{"key":"86_CR7","unstructured":"Kr\u00f3l V, Pokorn\u00fd J, \u010cernohorsk\u00fd J (2006) The V4DB project\u2014 support platform for testing the algorithms used in real-time databases. WSEAS Transactions on Information Science and Applications, vol 3(10)"},{"key":"86_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking. ISBN 978-0792393801","author":"KL McMillan","year":"1993","unstructured":"McMillan KL (1993) Symbolic model checking. ISBN 978-0792393801. Springer, Berlin"},{"key":"86_CR9","doi-asserted-by":"crossref","unstructured":"Nystr\u00f6m D, Nolin M, Tesanovic A, Norstr\u00f6m Ch, Hansson J (2004) Pessimistic concurrency-control and versioning to support database pointers in real-time databases. In: Proceedings of the 16th euromicro conference on real-time systems, pp 261\u2013270, IEEE Computer Society","DOI":"10.1109\/EMRTS.2004.1311029"},{"key":"86_CR10","unstructured":"ParaDiSe (Parallel and Distributed Systems Laboratory): Yahoda verification tools database. Available on-line at http:\/\/anna.fi.muni.cz\/yahoda\/ (December 15, 2008)"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0086-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0086-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0086-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T08:03:59Z","timestamp":1739088239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0086-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,5]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["86"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0086-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2009,5,5]]}}}