Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.

Zhe Dang Oscar H. Ibarra Pierluigi San Pietro

Published in: FSTTCS (2001)

Keyphrases

model checking
database
learning machines
social networks
computer vision
information systems
website
web services
feature extraction
multi class
distributed systems
parallel machines
asynchronous circuits