G.J. Holzmann
发表
G.C. Cucullu,
M.H. Smith,
G.J. Holzmann,
2005,
2005 IEEE Aerospace Conference.
G.J. Holzmann,
P.R. Gluck,
G. Holzmann,
2002,
Proceedings, IEEE Aerospace Conference.