Login / Signup
Verification of Context-Free Timed Systems Using Linear Hybrid Observers.
Ahmed Bouajjani
Rachid Echahed
Riadh Robbana
Published in:
CAV (1994)
Keyphrases
</>
context free
expert systems
knowledge based systems
context free grammars
grammatical inference