On an Algorithmic Technique for Hazard Identification in Logical Networks

Nguyen Xuan Quynh, Edward Kacki. On an Algorithmic Technique for Hazard Identification in Logical Networks. Elektronische Informationsverarbeitung und Kybernetik, 15(5/6):279-300, 1979.

Abstract

Abstract is missing.