Nicholas Weininger
发表
John Penix,
Willem Visser,
Eric Engstrom,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
David Castro,
Nicholas Weininger,
John Renze,
1997
.
Eric Engstrom,
Nicholas Weininger,
Darren Cofer,
2000,
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).
John Penix,
Corina S. Pasareanu,
Seungjoon Park,
2005,
Formal Methods Syst. Des..
Nicholas Weininger,
Jorge Tierno,
Blaise Morton,
1999
.
Darren D. Cofer,
Nicholas Weininger,
2000,
SPIN.
Farnam Jahanian,
Nicholas Weininger,
Sunondo Ghosh,
2000,
Proceeding International Conference on Dependable Systems and Networks. DSN 2000.