Interval Logic for Process Control System Specification

Peter P. K. Chiu, Paul Y. S. Cheung. Interval Logic for Process Control System Specification. Journal of Circuits, Systems, and Computers, 1(3):303-326, 1991. [doi]

Abstract

Abstract is missing.