发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - A temporal view on Model Checking Hybrid Logics

[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - A temporal view on Model Checking Hybrid Logics

Letia, Ioan Alfred; Goron, Anca

作者Letia, Ioan Alfred; Goron, Anca
文件大小129.40KB
发表时间2014
DOI10.1109/ICCP.2014.6936980
页码55-58

← 返回【学霸图书馆】主页