Subrata Kumar Das, John Fox. A Logic for Reasoning about Safety in Decision Support Systems. In Michael Clarke, Rudolf Kruse, Serafín Moral, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings. Volume 747 of Lecture Notes in Computer Science, pages 79-84, Springer, 1993.
@inproceedings{DasF93:0,
title = {A Logic for Reasoning about Safety in Decision Support Systems},
author = {Subrata Kumar Das and John Fox},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/DasF93%3A0},
cites = {0},
citedby = {0},
pages = {79-84},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings},
editor = {Michael Clarke and Rudolf Kruse and Serafín Moral},
volume = {747},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57395-X},
}