Modeling a Hardware Synthesis Methodology in Isabelle David BasinStefan Friedrich OriginalPaper Pages: 99 - 122
A Comparative Study of Synthesis Methods for Discrete Event Controllers L.E. PinzonH.-M. HanischT. Boucher OriginalPaper Pages: 123 - 167