Temporal Logics in Computer Science — Finite-State Systems

Name: Temporal Logics in Computer Science — Finite-State Systems
Author: Stéphane Demri

by Stéphane Demri · 2 reviews · 2017–2019

Reviewed by	Journal	Date	Access
Sophie Pinchinat	Studia Logica	2019-10-01	Restricted
Kamal Lodaya	The Bulletin of Symbolic Logic	2017-06-00	Restricted

Also by Demri