Dense counter machines and verification problems, in (0)

by G Xie, Z Dang, O H Ibarra, P S Pietro
Venue:CAV, LNCS