Automatic symbolic verification of embedded systems

• R. Alur

収録刊行物

• IEEE Trans. Software Engineering

  IEEE Trans. Software Engineering 22 (3), 181-201, 1996

詳細情報

• CRID: 1573668926487083776
• NII論文ID: 80008954319
• NII書誌ID: AA00668120
• DOI: 10.1109/32.489079
• データソース種別:
  • CiNii Articles