Effective temporal logics of programs

Autor: H. Andréka, V. Goranko, S. Mikulás, I. Németi, I. Sain
Rok vydání: 2019
Zdroj: Time and Logic ISBN: 9780429321047
DOI: 10.4324/9780429321047-2
Databáze: OpenAIRE