Partial Derivative and Position Bisimilarity Automata

Eva Maia, Nelma Moreira, Rogério Reis. Partial Derivative and Position Bisimilarity Automata. In Markus Holzer, Martin Kutrib, editors, Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings. Volume 8587 of Lecture Notes in Computer Science, pages 264-277, Springer, 2014. [doi]

@inproceedings{MaiaMR14,
  title = {Partial Derivative and Position Bisimilarity Automata},
  author = {Eva Maia and Nelma Moreira and Rogério Reis},
  year = {2014},
  doi = {10.1007/978-3-319-08846-4_20},
  url = {http://dx.doi.org/10.1007/978-3-319-08846-4_20},
  researchr = {https://researchr.org/publication/MaiaMR14},
  cites = {0},
  citedby = {0},
  pages = {264-277},
  booktitle = {Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
  editor = {Markus Holzer and Martin Kutrib},
  volume = {8587},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-08845-7},
}