• DocumentCode
    2822895
  • Title

    Author index

  • fYear
    1998
  • fDate
    23-23 Oct. 1998
  • Firstpage
    143
  • Lastpage
    143
  • Abstract
    The author index contains an entry for each author and coauthor included in the proceedings record.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
  • Conference_Location
    Boca Raton, FL, USA
  • Print_ISBN
    0-7695-0081-1
  • Type

    conf

  • DOI
    10.1109/WIFT.1998.766310
  • Filename
    766310