Friedrich W. von Henke
发表
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987,
Lecture Notes in Computer Science.
David C. Luckham,
Friedrich W. von Henke,
1974
.
Friedrich W. von Henke,
F. W. Henke,
1994,
IFIP Congress.
David C. Luckham,
Friedrich W. von Henke,
Duncan Stevenson,
1981,
Softw. Pract. Exp..
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Friedrich W. von Henke,
Stephan Pfab,
Harald Rueß,
1998,
Tool Support for System Specification, Development and Verification.
Axel Dold,
Harald Ruess,
Friedrich W. von Henke,
1997,
FME.
Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
2010
.
G. Rose,
Klaus Weihrauch,
Friedrich W. von Henke,
1975,
Computing.
Brian Randell,
Alexander Romanovsky,
Friedrich W. von Henke,
1998
.
Friedrich W. von Henke,
Holger Pfeifer,
2007,
Reliab. Eng. Syst. Saf..
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Neeraj Suri,
Marco Winckler,
Miguel Correia,
2009
.
Avelino Francisco Zorzo,
Jie Xu,
Brian Randell,
2002,
IEEE Trans. Computers.
Natarajan Shankar,
Friedrich W. von Henke,
Roberto Suaya,
1991,
COMPCON Spring '91 Digest of Papers.
Klaus Weihrauch,
Friedrich W. von Henke,
Klaus Indermark,
1972,
ICALP.
Friedrich W. von Henke,
John M. Rushby,
1993,
IEEE Trans. Software Eng..
Martin Strecker,
Friedrich W. von Henke,
Marko Luther,
1997,
TAPSOFT.
Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
2010
.
Steven M. German,
David C. Luckham,
William L. Scherlis,
1979
.
Friedrich W. von Henke,
1977,
Theoretical Computer Science.
Friedrich W. von Henke,
1985
.
Friedrich W. von Henke,
F. W. Henke,
1975
.
John Rushby,
Friedrich W. von Henke,
J. Rushby,
1989
.
Axel Dold,
Harald Ruess,
Friedrich W. von Henke,
1995,
KORSO Book.
Friedrich W. von Henke,
Detlef Schwier,
F. V. Henke,
1998,
FTRTFT.
Friedrich W. von Henke,
1977,
MFCS.
Friedrich W. von Henke,
Ercument Canver,
1999,
FMOODS.
David C. Luckham,
Friedrich W. von Henke,
D. Luckham,
1985,
IEEE Software.
Natarajan Shankar,
Friedrich W. von Henke,
John M. Rushby,
1995,
IEEE Trans. Software Eng..
Thorsten Liebig,
Friedrich W. von Henke,
Holger Pfeifer,
2004,
Description Logics.
Axel Dold,
Friedrich W. von Henke,
Wolfgang Goerigk,
2003,
Int. J. Found. Comput. Sci..
Thorsten Liebig,
Olaf Noppens,
Friedrich W. von Henke,
2009,
2009 IEEE Symposium on Visual Analytics Science and Technology.
Thorsten Liebig,
Olaf Noppens,
Friedrich W. von Henke,
2005,
ExaCt.
Friedrich W. von Henke,
Friedrich W. von Henke,
1976,
MFCS.
Friedrich W. von Henke,
Holger Pfeifer,
2004,
SAFECOMP.
Thorsten Liebig,
Olaf Noppens,
Friedrich W. von Henke,
2007,
ESWC.
Avelino Francisco Zorzo,
Jie Xu,
Brian Randell,
1999,
Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).
Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
2009
.
Axel Dold,
Friedrich W. von Henke,
Harald Rueß,
2010
.
Harald Ruess,
Friedrich W. von Henke,
Stephan Pfab,
1998,
TPHOLs.
Martin Strecker,
Harald Ruess,
Friedrich W. von Henke,
1996,
AMAST.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1985
.
Thorsten Liebig,
Olaf Noppens,
Friedrich W. von Henke,
2009,
FLAIRS.
Michel Raynal,
Lorenzo Strigini,
Michael D. Harrison,
2007
.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Friedrich W. von Henke,
Holger Pfeifer,
2001,
ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).
Natarajan Shankar,
Friedrich W. von Henke,
John M. Rushby,
1993,
FME.
Klaus Weihrauch,
Friedrich W. von Henke,
F. Henke,
1972,
GI Jahrestagung.