Michael Martin

Affiliations:

Martin Luther University Halle, Department of Mathematics and Computer Science, Germany

According to our database¹, Michael Martin authored at least 2 papers between 1997 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

Polynomial Formal Verification of Multipliers.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2003

1997

Performance analysis and optimization of mixed asynchronous synchronous systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997