Latte, Markus
ORCID: https://orcid.org/0000-0002-6583-1273
(2021):
Branching-time logics and fairness, revisited.
In: Mathematical Structures in Computer Science, Vol. 31, No. 9: pp. 1135-1144
| Item Type: | Journal article |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| ISSN: | 0960-1295 |
| Language: | English |
| Item ID: | 129481 |
| Date Deposited: | 13. Nov 2025 09:51 |
| Last Modified: | 13. Nov 2025 09:51 |
Actions (login required)
- View Item
