Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: David McAllister
4 results
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
May 04, 1993
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
April 08, 1988
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
October 13, 1987
The ONTIC System
by David McAllister
October 06, 1987