{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:56Z","timestamp":1725549176969},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243182"},{"type":"electronic","value":"9783540305002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30500-2_12","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:39:36Z","timestamp":1267461576000},"page":"125-133","source":"Crossref","is-referenced-by-count":2,"title":["FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views"],"prefix":"10.1007","author":[{"given":"Michiel","family":"Frishert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loek","family":"Cleophas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce W.","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J.A. Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of Regular Expressions. Journal of the ACM\u00a011, 481\u2013494 (1964)","journal-title":"Journal of the ACM"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/3-540-59042-0_96","volume-title":"STACS 95","author":"V. Antimirov","year":"1995","unstructured":"Antimirov, V.: Partial derivatives of regular expressions and finite automata constructions. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 455\u2013466. Springer, Heidelberg (1995)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-45089-0_31","volume-title":"Implementation and Application of Automata","author":"M. Frishert","year":"2003","unstructured":"Frishert, M., Cleophas, L., Watson, B.W.: The Effect of Rewriting Regular Expressions on Their Accepting Automata. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 304\u2013305. Springer, Heidelberg (2003)"},{"key":"12_CR4","unstructured":"Watson, B.: An incremental DFA minimization algorithm. In: Karttunen, L., Koskenniemi, K., van Noord, G. (eds.) Proceedings of FSMNLP 2001, ESSLLI workshop, Helsinki (2001)"},{"key":"12_CR5","volume-title":"Graph Drawing: Algorithms for the Visualization of Graphs","author":"G.D. Battista","year":"1999","unstructured":"Battista, G.D., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice-Hall, Englewood Cliffs (1999)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0304-3975(97)00296-X","volume":"233","author":"P. Caron","year":"2000","unstructured":"Caron, P., Ziadi, D.: Characterization of glushkov automata. Theor. Comput. Sci.\u00a0233, 75\u201390 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR7","unstructured":"Ngassam, E.K., Watson, B.W., Kourie, D.G.: Hardcoding finite state automata processing. In: Annual Conference of the South African Institute of Computer Scientists and Information Technologists, Proceedings, Fourways, South Africa, pp. 111\u2013121 (2003)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30500-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:57:08Z","timestamp":1605761828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30500-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243182","9783540305002"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30500-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}