![](/img/cover-not-exists.png)
Logic Verification System for Power Plant Sequence Diagrams
FUKUDA, Mitsuko, YAMADA, Naoyuki, TESHIMA, Toshiaki, KAN, Ken'ichi, UTSUNOMIYA, MitsuguVolume:
31
Language:
english
Journal:
Journal of Nuclear Science and Technology
DOI:
10.1080/18811248.1994.9735125
Date:
February, 1994
File:
PDF, 788 KB
english, 1994