@dblp

Interval Logic for Process Control System Specification.

, and . Journal of Circuits, Systems, and Computers, 1 (3): 303-326 (1991)

Links and resources

Tags