SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties-MedSci.cn

SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties

Zbrzezny, A; Zbrzezny, A; Wozna-Szczesniak, B

Zbrzezny, A (通讯作者)，Univ Warmia & Mazury, Fac Math & Comp Sci, Sloneczna 54, PL-10710 Olsztyn, Poland.

ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, 2022; (): 345

科室
- - 订阅+
  - 更多科室
工具
服务