A Logic Generator and Validator

Show full item record

Title: A Logic Generator and Validator
Author: J. Szabo; D. Okrent; D. Cain
Publisher: IASMiRT
Date: 1985
Series/Report No.: M2 - Systems Reliability of Nuclear Power Plants
M22 - Applications of Probabilistic Methods I
SMiRT 8 - Brussels, Belgium. 1985
URI: http://www.lib.ncsu.edu/resolver/1840.20/25254

Files in this item

Files Size Format View
M22-1.pdf 283.6Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record