Latte, Markus
ORCID: https://orcid.org/0000-0002-6583-1273
(2021):
Branching-time logics and fairness, revisited.
In: Mathematical Structures in Computer Science, Bd. 31, Nr. 9: S. 1135-1144
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| ISSN: | 0960-1295 |
| Sprache: | Englisch |
| Dokumenten ID: | 129481 |
| Datum der Veröffentlichung auf Open Access LMU: | 13. Nov. 2025 09:51 |
| Letzte Änderungen: | 13. Nov. 2025 09:51 |
- Dokument bearbeiten
