中文
Home > Scientific Research > Paper Publications

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

Hits:

  • Journal:2019 International Symposium on Theoretical Aspects of Software Engineering【中国计算机学会高水平会议C类】

  • Translation or Not:no

  • Included Journals:EI

  • First Author:zuxi chen, etc

  •

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021    Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021 Click:
  MOBILE Version

The Last Update Time:..