Title

Formal techniques in real-time and fault-tolerant systems

Title Supplement

Third international symposium, Lübeck, Germany, September 19 - 23, 1994; Proceedings

Person Involved

Corporate Author

Working Group Provably Correct Systems -ProCoS-

Publisher

Publishing Place

Berlin

Publication Date

1994

Series

Lecture Notes in Computer Science; 863

ISBN

3-540-58468-4

Conference