Eva Maia, Nelma Moreira, Rogério Reis
Partial Derivative and Position Bisimilarity Automata
CIAA, 2014.
@inproceedings{CIAA-2014-MaiaMR,
author = "Eva Maia and Nelma Moreira and Rogério Reis",
booktitle = "{Proceedings of the 19th International Conference on Implementation and Application of Automata}",
doi = "10.1007/978-3-319-08846-4_20",
isbn = "978-3-319-08845-7",
pages = "264--277",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Partial Derivative and Position Bisimilarity Automata}",
volume = 8587,
year = 2014,
}











