AboutSign inJoin
Temporal Logics in Computer Science

Temporal Logics in Computer Science

Valentin Goranko, Martin Lange, Stéphane Demri — 2016
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
Sign up to use