×
  • Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

    Gerd Behrmann Johan Bengtsson Alexandre David Kim G. Larsen Paul Pettersson (auth.) Werner Damm Ernst -Rüdiger Olderog (eds.)

Click on cover to enlarge.
10 - 12Hours to read