Ein retargierbarer Compiler für anwendungsspezifische Mikrocontroller. - Florian Krohm (VDI-Verlag, 1992)

The use of random simulation in formal verification. - Florian Krohm; Andreas Kuehlmann; Arjen Mets (ICCD, 1996)

Equivalence Checking Using Cuts and Heaps. - Andreas Kuehlmann; Florian Krohm (DAC, 1997)

Robust Boolean reasoning for equivalence checking and functional property verification. - Andreas Kuehlmann; Viresh Paruthi; Florian Krohm; Malay K. Ganai (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)