An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Castro, Pablo F
Maibaum, Thomas

status

published

publication date

September 2007

published in

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Journal

presented at event

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Conference