Little Tricky Logic: Misconceptions in the Understanding of LTL
Little Tricky Logic: Misconceptions in the Understanding of LTL
复制标题
小棘手的逻辑：对零担理解的误解
DOI：
10.22152/programming-journal.org/2023/7/7
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Greenman, Ben;Saarinen, Sam;Nelson, Tim;Krishnamurthi, Shriram
登录
查看更多内容
集成电路和系统 S 系列
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
A. Chandrakasan
通讯作者：
A. Chandrakasan
DOI：
10.1007/3-540-45319-9_1
发表时间：
2001-04
期刊：
--
影响因子：
--
作者：
Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
Iltis 简介：一个基于网络的交互式逻辑教学系统
DOI：
--
发表时间：
2018
期刊：
Annual Conference on Innovation and Technology in Computer Science Education
影响因子：
--
作者：
Gaetano Geck;Artur Ljulin;Sebastian Peter;Jonas Schmidt;Fabian Vehlken;Thomas Zeume
通讯作者：
Thomas Zeume
DOI：
--
发表时间：
2021
期刊：
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
影响因子：
--
作者：
S. Maoz;Jan Oliver Ringert
通讯作者：
Jan Oliver Ringert
模型检查中有效可检查的、基于证明的真空公式
DOI：
--
发表时间：
2004
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Kedar S. Namjoshi
通讯作者：
Kedar S. Namjoshi