• DocumentCode
    1954131
  • Title

    Conference Information

  • fYear
    2009
  • fDate
    1-3 July 2009
  • Abstract
    Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
  • Keywords
    Cities and towns; Concurrent computing; Continents; Design automation; Embedded computing; Embedded system; Formal verification; History; Humans; Organizing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
  • Conference_Location
    Augsburg
  • ISSN
    1550-4808
  • Print_ISBN
    978-0-7695-3697-2
  • Type

    conf

  • DOI
    10.1109/ACSD.2009.4
  • Filename
    5291033