Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Max" and "Planck"
|   | |
| 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 | 
 Administration
Administration
		







