一般注記"University of Virginia, Department of Electrical Engineering, Center for Safety-Critical Systems."
"Date published: February 2001."
Paper version no longer available for sale by the Supt. of Docs
Shipping list no.: 2001-0340-M
Physical description for original version: xi, 75 p. : 28 cm
書誌注記Includes bibliographical references (p. 68-73)
原資料等に関する注記原資料の出版事項: Washington, DC : Division of Engineering Technology, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 2001
SUPTDOC番号: Y 3.N 88: 58/0020
GPO管理番号: 1051-H-13 (MF)