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 |
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 |
Databáze: | OpenAIRE |
Externí odkaz: |