Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Delhi"
Treffer 136 von 1757
|
|
| Link zu diesem Datensatz | https://d-nb.info/129366460X |
| Titel | Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness / Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani ; Department of Computer Science and Engineering, Indian Institute of Technology Delhi, India; Max Planck Institute for Software Systems, Germany; Institute of Science and Technology Austria, Austria |
| Person(en) |
Banerjee, Tamajit (Verfasser) Majumdar, Rupak (Verfasser) Mallik, Kaushik (Verfasser) Schmuck, Anne-Kathrin (Verfasser) Soudjani, Sadegh (Verfasser) |
| Organisation(en) |
Department of Computer Science and Engineering, Indian Institute of Technology Delhi, India Max Planck Institute for Software Systems, Germany Institute of Science and Technology Austria, Austria |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2023062312020686912139 DOI: 10.46298/theoretics.23.4 |
| URL | https://theoretics.episciences.org/9876 (Verlag) (kostenfrei zugänglich) |
| Zeitliche Einordnung | Erscheinungsdatum: 2023 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: TheoretiCS (Bd. 2, 2023) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 136 von 1757
Administration
