• Record number
    6430
  • Title

    Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011

  • Published Year
    0
  • Reprint
    False
  • Language
    انگليسي