Reachability sets of parametrized rings as regular languages (1997)

by L Fribourg, H Olsen
Venue:In Proc. 2nd Int. Workshop on Veri of In State Systems (INFINITY'97