Related Books
Language: en
Pages: 368
Pages: 368
Type: BOOK - Published: 2011-03-16 - Publisher: John Wiley & Sons
The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple
Language: en
Pages: 253
Pages: 253
Type: BOOK - Published: 2019-09-23 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal
Language: en
Pages: 753
Pages: 753
Type: BOOK - Published: 2016-10-13 - Publisher: Cambridge University Press
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
Language: en
Pages: 149
Pages: 149
Type: BOOK - Published: 2021-11-25 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pa
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2020-08-12 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in Oc
