[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System

Bibliographic Information

Title
Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System
Author
Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1010282257420751119
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top