![](/img/cover-not-exists.png)
An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages
Doron Peled, Thomas Wilke, Pierre WolperVolume:
195
Year:
1998
Language:
english
Pages:
21
DOI:
10.1016/s0304-3975(97)00219-3
File:
PDF, 1.47 MB
english, 1998