{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:22Z","timestamp":1725483742900},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_47","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"518-527","source":"Crossref","is-referenced-by-count":1,"title":["Timed Automata with Monotonic Activities"],"prefix":"10.1007","author":[{"given":"Ruggero","family":"Lanotte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"47_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S.: The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138 (1995) 3\u201334","journal-title":"Theoretical Computer Science"},{"key":"47_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A Theory of Timed Automata, Theoretical Computer Science 126, (1994) 183\u2013235","journal-title":"Theoretical Computer Science"},{"key":"47_CR3","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0304-3975(97)00173-4","volume":"211","author":"R. Alur","year":"1999","unstructured":"Alur, R., Limor, F., Henzinger, T. A.: Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science 211 (1999) 253\u2013273","journal-title":"Theoretical Computer Science"},{"key":"47_CR4","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/176584.176587","volume":"41","author":"D. Drusinsky","year":"1994","unstructured":"Drusinsky, D., Harel, D.: On the Power of Bounded Concurrency I: Finite Automata, Journal of ACM 41 (1994) 517\u2013539","journal-title":"Journal of ACM"},{"key":"47_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, languages, and Programming","author":"T. A. Henzinger","year":"1992","unstructured":"Henzinger, T. A., Manna, Z., Pnueli, A.: What Good are Digital Clocks? In: Kuich, W. (ed.): Automata, languages, and Programming. Lecture Notes in Computer Science, Vol. 623, Springer-Verlag, Berlin Heidelberg New York (1992) 545\u2013558"},{"key":"47_CR6","series-title":"Lect Notes Comput Sci","first-page":"335","volume-title":"Automata, languages, and Programming","author":"T. A. Henzinger","year":"1995","unstructured":"Henzinger, T. A., Kopke, P.W., Wong-Toi, H.: The Expressive Power of Clocks. In: F\u00fcl\u00f6p, Z., G\u00e9seg, F. (nt(eds.)): Automata, languages, and Programming. Lecture Notes in Computer Science, Vol. 944, Springer-Verlag, Berlin Heidelberg New York (1995) 335\u2013346"},{"key":"47_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2000-42101","volume":"42","author":"R. Lanotte","year":"2000","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Peron, A.: Timed Cooperating Automata, Fundamenta Informaticae 42 (2000) 1\u201321","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T19:14:58Z","timestamp":1587496498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_47","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}