• Record number
    11817
  • Title

    Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012

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