Login / Signup
Verifying Bisimulations "On the Fly".
Jean-Claude Fernandez
Laurent Mounier
Published in:
FORTE (1990)
Keyphrases
</>
model checking
case study
natural language
knowledge acquisition
data model
software engineering
knowledge based systems
key features