![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Improved Automata Generation for Linear Temporal Logic
Halbwachs, Nicolas, Peled, DoronVolume:
10.1007/3-
Year:
1999
Language:
english
DOI:
10.1007/3-540-48683-6_23
File:
PDF, 751 KB
english, 1999