Open lgeretti opened 8 years ago
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Modify the CMOS inverter example to use the compositional syntax for automata and fix its misbehaviour.
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Modify the CMOS inverter example to use the compositional syntax for automata and fix its misbehaviour.