• شماره ركورد
    13118
  • شماره مدرك
    4364115
  • نويسنده/تنالگان
    Sriram Sankaranarayanan
  • عنوان

    Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015 (Lecture Notes in Computer Science)

  • اطلاعات نشر
    Springer
  • سال نشر
    2015
  • شابك
    9783319229744
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=13118