[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, AncaYear:
2014
Language:
english
DOI:
10.1109/ICCP.2014.6936980
File:
PDF, 129 KB
english, 2014