{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:01:07Z","timestamp":1725516067000},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708438"},{"type":"electronic","value":"9783540708445"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70844-5_8","type":"book-chapter","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T05:19:29Z","timestamp":1216703969000},"page":"68-77","source":"Crossref","is-referenced-by-count":0,"title":["Testing Whether a Binary and Prolongeable Regular Language L Is Geometrical or Not on the Minimal Deterministic Automaton of Pref(L)"],"prefix":"10.1007","author":[{"given":"J. -M.","family":"Champarnaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. -Ph.","family":"Dubernard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Jeanne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Blanpain, B.: Automates, Langages et G\u00e9om\u00e9trie, M\u00e9moire de DEA, Universit\u00e9 de Rouen (2006)"},{"key":"8_CR2","unstructured":"Blanpain, B., Champarnaud, J.-M., Dubernard, J.-P., Geniet, D.: Geometrical Languages. In: LATA 2007, Proceedings, Report 35\/07, GRLMC Universitat Rovira I Virgili, pp. 127\u2013138 (2007)"},{"key":"8_CR3","first-page":"301","volume-title":"Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on one Processor, Real-Time Systems","author":"S.K. Baruah","year":"1990","unstructured":"Baruah, S.K., Rosier, L.E., Howell, R.R.: Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on one Processor. Real-Time Systems, vol.\u00a02, pp. 301\u2013324. Kluwer Academic Press, Dordrecht (1990)"},{"key":"8_CR4","volume-title":"Automata, Languages and Machines, Vol. A & B","author":"S. Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, Languages and Machines, Vol. A & B. Academic Press, London (1976)"},{"issue":"1-3","key":"8_CR5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.tcs.2007.03.054","volume":"388","author":"D. Geniet","year":"2007","unstructured":"Geniet, D., Largeteau, G.: WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model. Theor. Comput. Sci.\u00a0388(1-3), 26\u201352 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR6","first-page":"2","volume-title":"Representation of events in nerve nets and finite automata, Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata, Automata Studies, pp. 2\u201342. Princeton Univ. Press, Princeton (1956)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-540-31965-8_3","volume-title":"Discrete Geometry for Computer Imagery","author":"G. Largeteau","year":"2005","unstructured":"Largeteau, G., Geniet, D., Andres, E.: Discrete Geometry Applied in Hard Real-Time Systems Validation. In: Andr\u00e8s, \u00c9., Damiand, G., Lienhardt, P. (eds.) DGCI 2005. LNCS, vol.\u00a03429, pp. 23\u201333. Springer, Heidelberg (2005)"},{"key":"8_CR8","unstructured":"Largeteau, G., Geniet, D.: Quantification du taux d\u2019invalidit\u00e9 d\u2019applications temps-r\u00e9el \u00e0 contraintes strictes, Techniques et Sciences Informatiques (to appear)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for multiprogramming in real-time environment. Journal of the ACM, 46\u201361 (1973)","DOI":"10.1145\/321738.321743"},{"key":"8_CR10","unstructured":"Myhill, J.: Finite automata and the representation of events, Wright Patterson Air Force Base, Ohio, USA, WADC TR-57-624 (1957)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.2307\/2033204","volume":"9","author":"A. Nerode","year":"1958","unstructured":"Nerode, A.: Linear automata transformations. Proceedings of American Mathematical Society\u00a09, 541\u2013544 (1958)","journal-title":"Proceedings of American Mathematical Society"},{"issue":"4","key":"8_CR12","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R.J. Parikh","year":"1966","unstructured":"Parikh, R.J.: On context-free languages. Journal of the Association for Computing Machine\u00a013(4), 570\u2013581 (1966)","journal-title":"Journal of the Association for Computing Machine"},{"key":"8_CR13","unstructured":"Sakarovitch, J.: El\u00e9ments de th\u00e9orie des automates. Vuibert Informatique (2003)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Applications of Automata"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70844-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:30:19Z","timestamp":1620001819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70844-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708438","9783540708445"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70844-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}