DMCA

Liveness verification of reversal-bounded multicounter machines with a free counter (2001)

by Zhe Dang , Oscar H. Ibarra , Pierluigi San Pietro
Venue:In FSTTCS’01, volume 2245 of LNCS
Citations:17 - 8 self