×
  • Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

    Eugene Asarin (auth.) Kim Guldstrand Larsen Peter Niebert (eds.)

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