BibTeX Export

@inproceedings{Authenticus:P-009-PPG,
	title = {{Partial Derivative and Position Bisimilarity Automata}},
	author = {E Maia and N Moreira and R Reis},
	booktitle = {Implementation and Application of Automata, Ciaa 2014},
	doi = {10.1007/978-3-319-08846-4_20},
	pages = {264-277},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {8587},
	year = {2014}
}