Showing 1 - 1 results of 1 for search '"Lecture notes in computer science ; 863"', query time: 0.02s Refine Results
  1. 1

    Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany,...

    Published 1994
    Book

    Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 : proceedings

Search Tools: