Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58 Stéphane Demri Valentin Goranko Martin Lange

Autor:	Lodaya, Kamal
Zdroj:	The Bulletin of Symbolic Logic, 2017 Jun 01. 23(2), 203-204.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/44259449 Zobrazit plný text záznamu