![](/img/cover-not-exists.png)
Embedding theorems for LTL and its variants
KAMIDE, NORIHIROVolume:
25
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129514000048
Date:
January, 2015
File:
PDF, 416 KB
english, 2015