Login / Signup

Compositional Semantics of ESTEREL and Verification by Compositional Reductions.

Robert de SimoneAnnie Ressouche
Published in: CAV (1994)
Keyphrases
  • compositional semantics
  • circuit design
  • natural language
  • model checking
  • discourse structure
  • machine learning