Verify LTL with Fairness Assumptions Efficiently

Yong Li, Lei Song, Yuan Feng, Lijun Zhang
一月 2016
引用 DOI
类型
会议文章
出版物
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)
Automata Model Checking Syntactics Safety Memory Management Complexity Theory Semantics
冯元
冯元
教授