• RecordNumber
    51192
  • Author

    Fabrice kordon and michel lemoine

  • Title

    Formal methods for embedded distributed systems ho

  • Publication
    Kluwer academic publishing
  • Publication Year
    2004
  • Collation
    284
  • نام فايل
    IUST B216 -- B216D4
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=51192&Field=0&DTC=2