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

Inductive Temporal Formula Specifications for System Verification

Bibliographic Information

Title
Inductive Temporal Formula Specifications for System Verification
Author
Chikatoshi Yamada and Yasunori Nagata

Journal

Related Projects

See more

Details

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

Report a problem

Back to top