• DocumentCode
    2297308
  • Title

    [Title page iii]

  • fYear
    2010
  • fDate
    Sept. 30 2010-Oct. 1 2010
  • Abstract
    Conference proceedings title page.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on
  • Conference_Location
    Enschede
  • Print_ISBN
    978-0-7695-4265-2
  • Type

    conf

  • DOI
    10.1109/PDMC-HiBi.2010.2
  • Filename
    5698482