Markus Kaltenbach
According to our database1,
Markus Kaltenbach
authored at least 3 papers
between 2002 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
2014
Automatic detection of sticky clock gating equations.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014
2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002