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]
@article{Terlikowski02,
title = {A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants},
author = {Tomasz Terlikowski},
year = {2002},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=52&issue=4&spage=377},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Terlikowski02},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {52},
number = {4},
pages = {377-394},
}