Verification of Protocols Using Presburger Array Theory(吉井典章教授退官記念論文集)  [in Japanese] Verification of Protocols Using Presburger Array Theory  [in Japanese]

Access this Article

Search this Article

Author(s)

Journal

  • The Hikone ronso

    The Hikone ronso (253・254), p111-130, 1988-12

    Shiga University

Codes

  • NII Article ID (NAID)
    110000314035
  • NII NACSIS-CAT ID (NCID)
    AN00207196
  • Text Lang
    JPN
  • Article Type
    departmental bulletin paper
  • Journal Type
    大学紀要
  • ISSN
    03875989
  • NDL Article ID
    3227630
  • NDL Source Classification
    M055(データ処理・計算機器)
  • NDL Source Classification
    ZV1(一般学術誌--一般学術誌・大学紀要) // ZD11(経済--経済学)
  • NDL Call No.
    Z22-78
  • Data Source
    NDL  NII-ELS  IR 
Page Top