Login / Signup

Size-Change Termination, Monotonicity Constraints and Ranking Functions.

Amir M. Ben-Amram
Published in: CAV (2009)
Keyphrases