Login / Signup

Introducing Mutual Exclusion in Esterel.

Klaus SchneiderViktor K. Sabelfeld
Published in: Ershov Memorial Conference (1999)
Keyphrases
  • mutual exclusion
  • circuit design
  • long distance
  • temporal planning
  • temporal reasoning