1992年 Formal Verification of Fail-Safeness of a Comparator for Redundant System Using Regular Temporal Logic 出版者・発行元 Proc. of the First Asian Test Symposium