Login / Signup
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.
Hubert Comon
Yan Jurski
Published in:
CAV (1998)
Keyphrases
</>
safety analysis
presburger arithmetic
decision support system
np hard