====== Specification and synthesis of speed-independent controllers from Signal Transition Graphs ======

{{ screenshot.png?900,direct |}}

  * <wrap download>{{vme-cg.circuit.work}}</wrap>
  * <wrap download>{{vme.stg.work}}</wrap>
  * <wrap download>{{vme-tm.circuit.work}}</wrap>