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.
No references recorded for this publication.
No citations of this publication recorded.