Login / Signup
Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic.
Laurent Fribourg
Hans Olsén
Published in:
CONCUR (1997)
Keyphrases
</>
expert systems
logic programming
artificial intelligence
query processing