![](/img/cover-not-exists.png)
Unification in linear temporal logic LTL
Sergey Babenyshev, Vladimir RybakovVolume:
162
Year:
2011
Language:
english
Pages:
10
DOI:
10.1016/j.apal.2011.06.004
File:
PDF, 271 KB
english, 2011