Temporal Logics in Computer Science (Finite-State Systems) || References
Demri, Stephane, Goranko, Valentin, Lange, MartinVolume:
10.1017/CB
Year:
2016
Language:
english
DOI:
10.1017/CBO9781139236119.016
File:
PDF, 183 KB
english, 2016