• DocumentCode
    2297393
  • Title

    Table of contents

  • fYear
    2010
  • fDate
    Sept. 30 2010-Oct. 1 2010
  • Abstract
    Presents the table of contents of the proceedings.
  • 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.4
  • Filename
    5698488