Showing 1 - 2 results of 2 for search '', query time: 0.01s Refine Results
  1. 1

    Formal techniques in real-time and fault-tolerant systems /

    Published 1996
    Conference Proceeding Book
  2. 2

    Distributed algorithms / 8th international workshop, WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994 : proceedings

    Published 1994
    Conference Proceeding Book