TY - JOUR
AU - Rance Cleaveland
BT - arXiv preprint arXiv:2002.07562
LA - eng
PY - 2020
T2 - arXiv preprint arXiv:2002.07562
TI - Better Automata through Process Algebra
ER -