DMCA

Reachability Sets of Parametrized Rings As Regular Languages (1997)

by Laurent Fribourg , Hans Olsén
Venue:In Proc. 2nd Int. Workshop on Verification of Infinite State Systems (INFINITY’97
Citations:19 - 1 self