• DocumentCode
    2565621
  • Title

    Session IV: Transaction-level Modeling

  • fYear
    2006
  • fDate
    27-30 July 2006
  • Firstpage
    91
  • Lastpage
    92
  • Abstract
    Start of the above-titled section of the conference proceedings record.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
  • Conference_Location
    Napa, CA
  • Print_ISBN
    1-4244-0421-5
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2006.1695909
  • Filename
    1695909