![](/img/cover-not-exists.png)
Mathematical Logic for Computer Science Volume 1016 || Temporal Logic: Formulas, Models, Tableaux
Ben-Ari, MordechaiVolume:
10.1007/97
Year:
2012
Language:
english
Pages:
32
DOI:
10.1007/978-1-4471-4129-7_13
File:
PDF, 440 KB
english, 2012