The temporal logic of programs 论文

1977引用 5645
DOI
Logic, programming, and type systemsFormal Methods in VerificationDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

The temporal logic of programs · 相关事件

暂无数据