Login / Signup
The Abstract Interpretation of Hybrid Rule/Frame-Based Systems.
Rick Evertsz
Enrico Motta
Published in:
EUROVAV (1991)
Keyphrases
</>
open source
abstract interpretation
termination analysis
case study
multi agent systems