@inproceedings{ conf/wia/AlmeidaMPS10,
  added-at = {2011-02-15T00:00:00.000+0100},
  author = {Almeida, José Bacelar and Moreira, Nelma and Pereira, David and de Sousa, Simão Melo},
  biburl = {http://www.bibsonomy.org/bibtex/216ade44c7b187ef58b16e5b8783f210f/dblp},
  booktitle = {CIAA},
  crossref = {conf/wia/2010},
  editor = {Domaratzki, Michael and Salomaa, Kai},
  ee = {http://dx.doi.org/10.1007/978-3-642-18098-9_7},
  interhash = {1a713ca81fb43bb1623bbafda9b764eb},
  intrahash = {16ade44c7b187ef58b16e5b8783f210f},
  isbn = {978-3-642-18097-2},
  keywords = {dblp},
  pages = {59-68},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Partial Derivative Automata Formalized in Coq.},
  url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2010.html#AlmeidaMPS10},
  volume = {6482},
  year = {2010}
}

{"_id":{"_str":"53f4713d3d9d602c1a0010d1"},"__v":0,"authorIDs":[],"author_short":["Almeida","Bacelar, J.","Moreira, N.","Pereira, D.","de<nbsp>Sousa","Melo, S."],"bibbaseid":"almeida-bacelar-moreira-pereira-denbspsousa-melo-partialderivativeautomataformalizedincoq-2010","bibdata":{"html":"","downloads":0,"keyword":["dblp"],"urls":{"Paper":"http://dblp.uni-trier.de/db/conf/wia/ciaa2010.html#AlmeidaMPS10","Link":"http://dx.doi.org/10.1007/978-3-642-18098-9_7"},"role":"author","bibbaseid":"almeida-bacelar-moreira-pereira-denbspsousa-melo-partialderivativeautomataformalizedincoq-2010","year":"2010","volume":"6482","url":"http://dblp.uni-trier.de/db/conf/wia/ciaa2010.html#AlmeidaMPS10","type":"inproceedings","title":"Partial Derivative Automata Formalized in Coq.","series":"Lecture Notes in Computer Science","publisher":"Springer","pages":"59-68","keywords":"dblp","key":"conf/wia/AlmeidaMPS10","isbn":"978-3-642-18097-2","intrahash":"16ade44c7b187ef58b16e5b8783f210f","interhash":"1a713ca81fb43bb1623bbafda9b764eb","id":"conf/wia/AlmeidaMPS10","ee":"http://dx.doi.org/10.1007/978-3-642-18098-9_7","editor_short":["Domaratzki, M.","Salomaa, K."],"editor":["Domaratzki, Michael","Salomaa, Kai"],"crossref":"conf/wia/2010","booktitle":"CIAA","biburl":"http://www.bibsonomy.org/bibtex/216ade44c7b187ef58b16e5b8783f210f/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/wia/AlmeidaMPS10,\n added-at = {2011-02-15T00:00:00.000+0100},\n author = {Almeida, José Bacelar and Moreira, Nelma and Pereira, David and de Sousa, Simão Melo},\n biburl = {http://www.bibsonomy.org/bibtex/216ade44c7b187ef58b16e5b8783f210f/dblp},\n booktitle = {CIAA},\n crossref = {conf/wia/2010},\n editor = {Domaratzki, Michael and Salomaa, Kai},\n ee = {http://dx.doi.org/10.1007/978-3-642-18098-9_7},\n interhash = {1a713ca81fb43bb1623bbafda9b764eb},\n intrahash = {16ade44c7b187ef58b16e5b8783f210f},\n isbn = {978-3-642-18097-2},\n keywords = {dblp},\n pages = {59-68},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Partial Derivative Automata Formalized in Coq.},\n url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2010.html#AlmeidaMPS10},\n volume = {6482},\n year = {2010}\n}","author_short":["Almeida","Bacelar, J.","Moreira, N.","Pereira, D.","de<nbsp>Sousa","Melo, S."],"author":["Almeida","Bacelar, José","Moreira, Nelma","Pereira, David","de Sousa","Melo, Simão"],"added-at":"2011-02-15T00:00:00.000+0100"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Melo?items=1000","creationDate":"2014-08-20T09:58:21.676Z","downloads":0,"keywords":["dblp"],"search_terms":["partial","derivative","automata","formalized","coq","almeida","bacelar","moreira","pereira","de<nbsp>sousa","melo"],"title":"Partial Derivative Automata Formalized in Coq.","year":2010,"dataSources":["aQGcfqSy5GLivCyrC"]}