A Logic Generator and Validator

Simple item page
dc.contributor.authorJ. Szabo
dc.contributor.authorD. Okrent
dc.contributor.authorD. Cain
dc.date.accessioned2016-10-10T18:40:26Z
dc.date.available2016-10-10T18:40:26Z
dc.date.issued1985
dc.identifier.urihttp://www.lib.ncsu.edu/resolver/1840.20/25254
dc.publisherIASMiRT
dc.relation.ispartofseriesM2 - Systems Reliability of Nuclear Power Plants
dc.relation.ispartofseriesM22 - Applications of Probabilistic Methods I
dc.relation.ispartofseriesSMiRT 8 - Brussels, Belgium. 1985
dc.titleA Logic Generator and Validator
dc.typeConference Proceeding

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
M22-1.pdf
Size:
283.68 KB
Format:
Adobe Portable Document Format
Download

Collections

1985 - SMiRT 8 - Brussels, Belgium