Computational Complexity of Verifying Parameterized Systems
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
München
2023
|
| Schlagworte: | |
| Online-Zugang: | kostenfrei https://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20240417-1714488-1-4 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|