• DocumentCode
    3181898
  • Title

    Author index

  • fYear
    2010
  • fDate
    20-23 Oct. 2010
  • Firstpage
    279
  • Lastpage
    279
  • Abstract
    The author index contains an entry for each author and coauthor included in the proceedings record.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods in Computer-Aided Design (FMCAD), 2010
  • Conference_Location
    Lugano
  • Print_ISBN
    978-1-4577-0734-6
  • Electronic_ISBN
    978-0-9835678-0-6
  • Type

    conf

  • Filename
    5770963
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3181898