{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:46:26Z","timestamp":1743075986554,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642043673"},{"type":"electronic","value":"9783642043680"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04368-0_4","type":"book-chapter","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T03:31:59Z","timestamp":1251862319000},"page":"13-27","source":"Crossref","is-referenced-by-count":15,"title":["Volume and Entropy of Regular Timed Languages: Analytic Approach"],"prefix":"10.1007","author":[{"given":"Eugene","family":"Asarin","sequence":"first","affiliation":[]},{"given":"Aldric","family":"Degorre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2009","author":"E. Asarin","year":"2009","unstructured":"Asarin, E., Degorre, A.: Volume and entropy of regular timed languages: Discretization approach. In: CONCUR 2009. LNCS, Springer, Heidelberg (2009)"},{"key":"4_CR2","first-page":"63","volume-title":"SAVCBS 2007","author":"R. Ben Salah","year":"2007","unstructured":"Ben Salah, R., Bozga, M., Maler, O.: On timed components and their abstraction. In: SAVCBS 2007, pp. 63\u201371. ACM Press, New York (2007)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Asarin, E., Degorre, A.: Volume and entropy of regular timed languages. Preprint (2009), \n                  \n                    http:\/\/hal.archives-ouvertes.fr\/hal-00369812\/","DOI":"10.1007\/978-3-642-04368-0_4"},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626302","volume-title":"An introduction to symbolic dynamics and coding","author":"D. Lind","year":"1995","unstructured":"Lind, D., Marcus, B.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)"},{"key":"4_CR5","volume-title":"Positive Linear Systems: The method of positive operators","author":"M. Krasnosel\u2019skij","year":"1989","unstructured":"Krasnosel\u2019skij, M., Lifshits, E., Sobolev, A.: Positive Linear Systems: The method of positive operators. Heldermann Verlag, Berlin (1989)"},{"key":"4_CR6","first-page":"13","volume-title":"QEST 2005","author":"G. Bucci","year":"2005","unstructured":"Bucci, G., Piovosi, R., Sassoli, L., Vicario, E.: Introducing probability within state class analysis of dense-time-dependent systems. In: QEST 2005, pp. 13\u201322. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR7","first-page":"59","volume-title":"QEST 2007","author":"L. Sassoli","year":"2007","unstructured":"Sassoli, L., Vicario, E.: Close form derivation of state-density functions over dbm domains in the analysis of non-Markovian models. In: QEST 2007, pp. 59\u201368. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"4_CR8","first-page":"55","volume-title":"QEST 2008","author":"N. Bertrand","year":"2008","unstructured":"Bertrand, N., Bouyer, P., Brihaye, T., Markey, N.: Quantitative model-checking of one-clock timed automata under probabilistic semantics. In: QEST 2008, pp. 55\u201364. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. Journal of the ACM\u00a049, 172\u2013206 (2002)","journal-title":"Journal of the ACM"},{"key":"4_CR10","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.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04368-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:30:29Z","timestamp":1558269029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04368-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043673","9783642043680"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04368-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}