Login / Signup
Verification of Cooperating Systems - An Approach Based on Formal Languages.
Peter Ochsenschläger
Jürgen Repp
Roland Rieke
Published in:
FLAIRS Conference (2000)
Keyphrases
</>
formal languages
formal language theory
natural language
database
fuzzy logic
knowledge based systems
background knowledge
model checking
integrity constraints
formal methods