Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter Coesmans, Martin J. Wieczorek. Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 571-590, Springer, 1992.

Abstract is missing.

runs on WebDSL