Login / Signup

Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.

Hubert ComonYan Jurski
Published in: CAV (1998)
Keyphrases
  • safety analysis
  • presburger arithmetic
  • decision support system
  • np hard