Werner Grass, Stefan Lenk, Christine Sontheim. Design of Control Dominated Hardware Based on Formal Methods. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10357-10364, IEEE Computer Society, 1998. [doi]
Abstract is missing.