A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants

Tomasz Terlikowski. A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants. Fundamenta Informaticae, 52(4):377-394, 2002. [doi]

Authors

Tomasz Terlikowski

This author has not been identified. Look up 'Tomasz Terlikowski' in Google