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 |
Externí odkaz: |
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 |
Externí odkaz: |