{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:00:42Z","timestamp":1725534042438},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029783"},{"type":"electronic","value":"9783642029790"}],"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"},{"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-02979-0_10","type":"book-chapter","created":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T12:16:20Z","timestamp":1246882580000},"page":"65-74","source":"Crossref","is-referenced-by-count":15,"title":["FAdo and GUItar: Tools for Automata Manipulation and Visualization"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Marco","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Alves","sequence":"additional","affiliation":[]},{"given":"Nelma","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Rog\u00e9rio","family":"Reis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2007.07.029","volume":"387","author":"M. Almeida","year":"2007","unstructured":"Almeida, M., Moreira, N., Reis, R.: Enumeration and generation with a string automata representation. Theoret. Comput. Sci.\u00a0387(2), 93\u2013102 (2007)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-70844-5_6","volume-title":"Implementation and Applications of Automata","author":"M. Almeida","year":"2008","unstructured":"Almeida, M., Moreira, N., Reis, R.: Antimirov and Mosses\u2019s rewrite system revisited. In: Ibarra, O.H., Ravikumar, B. (eds.) CIAA 2008. LNCS, vol.\u00a05148, pp. 46\u201356. Springer, Heidelberg (2008)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Almeida, M., Moreira, N., Reis, R.: Exact generation of acyclic deterministic finite automata. In: DCFS 2008, Charlottetown, Canada (2008)","DOI":"10.1142\/S0129054108005930"},{"issue":"4","key":"10_CR4","first-page":"751","volume":"19","author":"M. Almeida","year":"2008","unstructured":"Almeida, M., Moreira, N., Reis, R.: Exact generation of minimal acyclic deterministic finite automata. I. J. of F. of Com. Sci.\u00a019(4), 751\u2013765 (2008)","journal-title":"I. J. of F. of Com. Sci."},{"key":"10_CR5","unstructured":"Barker, C.: Floatcanvas, http:\/\/morticia.cs.dal.ca\/FloatCanvas\/ (access date: 1.12.2008)"},{"key":"10_CR6","unstructured":"Behnel, S., Bradshaw, R.: Cython: C-extensions for Python, http:\/\/www.cython.org\/ (access date: 03.01.2009)"},{"volume-title":"Graph Drawing, Algorithms for the Visualisation of Graphs","year":"1999","author":"G. Battista","key":"10_CR7","unstructured":"Battista, G., Eades, P., Tamassia, R., Tolli, I.G.: Graph Drawing, Algorithms for the Visualisation of Graphs. Prentice Hall, Englewood Cliffs (1999)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0747-7171(08)80125-3","volume":"12","author":"J.M. Champarnaud","year":"1991","unstructured":"Champarnaud, J.M., Hanset, G.: AUTOMATE, a computing package for automata and finite semigroups. J. of Symb. Comput.\u00a012, 197\u2013220 (1991)","journal-title":"J. of Symb. Comput."},{"key":"10_CR9","unstructured":"World Wide\u00a0Web Consortium. XML specification WWW page, http:\/\/www.w3.org\/TR\/xml (access date: 1.12.2008)"},{"key":"10_CR10","unstructured":"World Wide\u00a0Web Consortium. XSLT specification WWW page, http:\/\/www.w3.org\/TR\/xslt (access date: 1.12.2008)"},{"key":"10_CR11","unstructured":"PostgreSQL DBMS. PostgreSQL website, http:\/\/www.postgressql.org (access date: 1.12.2008)"},{"key":"10_CR12","unstructured":"Frishert, M., Watson, B.W.: Fire Station, http:\/\/www.fastar.org\/ (access date: 1.4.2009)"},{"key":"10_CR13","unstructured":"Graphviz \u2014 Graph Visualization Software. The dot language, http:\/\/www.graphviz.org\/ (access date: 1.12.2008)"},{"key":"10_CR14","unstructured":"GraphML\u00a0Working Group. Graphml file format, http:\/\/graphml.graphdrawing.org\/ (access date: 01.12.2008)"},{"key":"10_CR15","unstructured":"Vaucanson Group. FSMXML format, http:\/\/www.lrde.epita.fr\/cgi-bin\/twiki\/view\/Vaucanson\/XML (access date: 1.3.2009)"},{"volume-title":"Graph Drawing Software","year":"2004","series-title":"Mathematics and visualization","key":"10_CR16","unstructured":"J\u00fcnger, M., Mutzel, P. (eds.): Graph Drawing Software. Mathematics and visualization. Springer, Heidelberg (2004)"},{"key":"10_CR17","unstructured":"Jansen, V., Potthoff, A., Thomas, W., Wermuth, U.: A short guide to the AMoRE system. Aachener informatik-berichte (90) 02, Lehrstuhl fur Informatik II, Universitat Aachen (January 1990)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.tcs.2004.07.007","volume":"328","author":"S. Lombardy","year":"2004","unstructured":"Lombardy, S., R\u00e9gis-Gianas, Y., Sakarovitch, J.: Introducing Vaucanson. Theoret. Comput. Sci.\u00a0328, 77\u201396 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR19","unstructured":"Lombardy, S., Sakarovitch, J., Vaucanson, G.: http:\/\/igm.univ-mlv.fr\/~lombardy\/ (access date: 1.12.2008)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0190(94)90033-7","volume":"49","author":"H.G. Mairson","year":"1994","unstructured":"Mairson, H.G.: Generating words in a context-free language uniformly at random. Information Processing Letters\u00a049, 95\u201399 (1994)","journal-title":"Information Processing Letters"},{"key":"10_CR21","first-page":"335","volume-title":"ITiCSE 2005","author":"N. Moreira","year":"2005","unstructured":"Moreira, N., Reis, R.: Interactive manipulation of regular objects with FAdo. In: ITiCSE 2005, pp. 335\u2013339. ACM, New York (2005)"},{"key":"10_CR22","unstructured":"FAdo project. FAdo: tools for formal languages manipulation, http:\/\/www.ncc.up.pt\/FAdo (access date: 1.12.2008)"},{"key":"10_CR23","unstructured":"Rodger, S., Finlea, T.: JFLAP - An Interactive Formal Languages and Automata Package. Jones and Bartlett (2006)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Riley, M.: OpenFst, http:\/\/www.openfst.org (access date: 1.4.2009)","DOI":"10.3115\/1620950.1620955"},{"issue":"4","key":"10_CR25","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1006\/jsco.1994.1023","volume":"17","author":"D. Raymond","year":"1994","unstructured":"Raymond, D., Wood, D.: Grail: A C++ Library for automata and expressions. J. Symb. Comp.\u00a017(4), 341\u2013350 (1994)","journal-title":"J. Symb. Comp."},{"key":"10_CR26","unstructured":"Smart, J., Roebling, R., Zeitlin, V., Dunn, R.: wxWidgets 2.6.3: A portable C++ and Python GUI toolkit (2006)"},{"key":"10_CR27","unstructured":"Yu, S.: Grail+, http:\/\/www.csd.uwo.ca\/Research\/grail\/ (access date: 1.3.2009)"}],"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-642-02979-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T07:42:21Z","timestamp":1558424541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02979-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029783","9783642029790"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02979-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}