Design of Control Dominated Hardware Based on Formal Methods

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]

Authors

Werner Grass

This author has not been identified. Look up 'Werner Grass' in Google

Stefan Lenk

This author has not been identified. Look up 'Stefan Lenk' in Google

Christine Sontheim

This author has not been identified. Look up 'Christine Sontheim' in Google