×
  • Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

    Lothar Thiele (auth.) Paul Pettersson Wang Yi (eds.)

Click on cover to enlarge.
7 - 8Hours to read