- Weitere Titel
-
Komplexität der Verifikation parametrisierter Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2024
- Schlagwort
-
Verifikation
Berechnungskomplexität
Model Checking
Parametrisierte Komplexität
Temporale Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2024
- Urheber
-
Ayikudi Ramachandrakumar, Balasubramanian
- Beteiligte Personen und Organisationen
-
Esparza Estaun, Francisco Javier
Abdulla, Parosh Aziz
Bouajjani, Ahmed
- URN
-
urn:nbn:de:bvb:91-diss-20240417-1714488-1-4
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ayikudi Ramachandrakumar, Balasubramanian
- Esparza Estaun, Francisco Javier
- Abdulla, Parosh Aziz
- Bouajjani, Ahmed
- Universitätsbibliothek der TU München
Entstanden
- 2024
Ähnliche Objekte (12)
Parameterized complexity
Parameterized complexity theory
Parameterized Complexity of Diameter
Parameterized Complexity of Diameter
Verifying probabilistic systems : new algorithms and complexity results
The complexity of verifying population protocols
Parameterized Complexity of Graph Burning
A note on the computational complexity of some problems for self-verifying finite automata
Parameterized complexity of weighted team definability
Parameterized complexity of configuration integer programs
Parameterized Complexity of Directed Spanner Problems
Parameterized complexity of constraint satisfaction problems
Parameterized complexity
Parameterized complexity theory
Parameterized Complexity of Diameter
Parameterized Complexity of Diameter
Verifying probabilistic systems : new algorithms and complexity results
The complexity of verifying population protocols
Parameterized Complexity of Graph Burning
A note on the computational complexity of some problems for self-verifying finite automata
Parameterized complexity of weighted team definability
Parameterized complexity of configuration integer programs
Parameterized Complexity of Directed Spanner Problems
Parameterized complexity of constraint satisfaction problems
Parameterized complexity
Parameterized complexity theory
Parameterized Complexity of Diameter
Parameterized Complexity of Diameter
Verifying probabilistic systems : new algorithms and complexity results
The complexity of verifying population protocols
Parameterized Complexity of Graph Burning
A note on the computational complexity of some problems for self-verifying finite automata
Parameterized complexity of weighted team definability
Parameterized complexity of configuration integer programs
Parameterized Complexity of Directed Spanner Problems