Yong Li

最新发表

Yong Li, Lei Song, Yuan Feng, Lijun Zhang (2016). Verify LTL with Fairness Assumptions Efficiently. 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

引用 DOI