T. Kropf

发表

Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1993, HUG.
K. Schneider, Ramayya Kumar, T. Kropf, 1992 .
Jürgen Ruf, T. Kropf, J. Ruf, 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
Daniel Kroening, Alan J. Hu, Koen Claessen, 2009 .
K. Schneider, Ramayya Kumar, T. Kropf, 1994 .
Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2011, MBMV.
O. Bringmann, T. Kropf, J. Laufenberg, 2022, 2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring).
Thomas Kropf, Ralf Reetz, T. Kropf, 1995, Formal Methods Syst. Des..
Thomas Kropf, Klaus Schneider, Ralf Reetz, 1998, Proceedings Design, Automation and Test in Europe.
Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2006, PDMC@ICALP.
Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2003, FDL.
Thomas Kropf, Jürgen Ruf, Jochen Klose, 2002, 15th International Symposium on System Synthesis, 2002..
Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).
Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.
Thomas Kropf, Klaus Schneider, George Logothetis, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
Thomas Kropf, Klaus Schneider, Jürgen Ruf, 1998, MBMV.
Thomas Kropf, Klaus Schneider, Jürgen Ruf, 1998 .
Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 1997, CHARME.
Thomas Kropf, Klaus Schneider, Ralf Reetz, 1997 .
Thomas Kropf, Klaus Schneider, K. Schneider, 1996, FMCAD.
Thomas Kropf, Joachim Gerlach, Jürgen Frößl, 1996, Proceedings ED&TC European Design and Test Conference.
Thomas Kropf, Detlef Schmid, Joachim Gerlach, 1995 .
Thomas Kropf, Dirk W. Hoffmann, D. W. Hoffmann, 2000, Proceedings 2000 International Conference on Computer Design.
Thomas Kropf, Dirk W. Hoffmann, D. W. Hoffmann, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.
T Kropf, J Fröβl, W Beller, 1990, Microprocessing and Microprogramming.
Thomas Kropf, Hans-Joachim Wunderlich, H. Wunderlich, 1991, 1991, Proceedings. International Test Conference.
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1994, Formal Methods Syst. Des..
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1993, CHARME.
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1993, Formal Methods Syst. Des..
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1991, CAV.
Wolfgang Rosenstiel, Wolfgang Müller, Thomas Kropf, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
Thomas Kropf, T. Kropf, 1999, Springer Berlin Heidelberg.
W. Rosenstiel, Jürgen Ruf, T. Kropf, 2015, J. Electron. Test..
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1995, Proceedings of the 8th International Conference on VLSI Design.
Thomas Kropf, Klaus Schneider, Ramayya Kumar, 1994, TPHOLs.
Thomas Kropf, Oliver F. Haberl, T. Kropf, 1995, J. Electron. Test..
Thomas Kropf, Oliver F. Haberl, T. Kropf, 1992, Proceedings International Test Conference 1992.
Thomas Kropf, Oliver F. Haberl, T. Kropf, 1992, Digest of Papers. 1992 IEEE VLSI Test Symposium.
Thomas Kropf, T. Kropf, 1994, TPCD.
W. Rosenstiel, Jürgen Ruf, T. Kropf, 2014, 2014 15th Latin American Test Workshop - LATW.
Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 1999, CHARME.
Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.
Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 1998, FMCAD.
Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 2001, Informationstechnik Tech. Inform..
Kim Mens, Thomas Kropf, Rafael Capilla, 2017, IEEE Softw..