BibTeX Export

@inproceedings{Authenticus:P-00V-Z17,
	title = {{Partial Derivative Automaton by Compressing Regular Expressions}},
	author = {S Konstantinidis and A Machiavelo and N Moreira and R Reis},
	booktitle = {Descriptional Complexity of Formal Systems, Dcfs 2021},
	doi = {10.1007/978-3-030-93489-7_9},
	pages = {100-112},
	publisher = {Springer International Publishing Ag},
	type = {Proceedings Paper},
	volume = {13037},
	year = {2021}
}