Florian Krohm
According to our database1,
Florian Krohm
authored at least 4 papers
between 1992 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
Robust Boolean reasoning for equivalence checking and functional property verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002
1997
Proceedings of the 34st Conference on Design Automation, 1997
1996
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996
1992
PhD thesis, 1992