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

"階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア

Bibliographic Information

Title
"階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア
Author
山崎真一, 山根智

Journal

Related Projects

See more

Details

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

Report a problem

Back to top