Algorithmic Verification of Linear Dynamical Systems

Karimov, Toghrul

doi:10.22028/D291-41630

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Hochschulschrift

Algorithmic Verification of Linear Dynamical Systems

MPG-Autoren

/persons/resource/persons260459

Karimov, Toghrul
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/37285
(beliebiger Volltext)

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Karimov, T. (2023). Algorithmic Verification of Linear Dynamical Systems. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-41630.

Zitierlink: https://hdl.handle.net/21.11116/0000-000E-B3E8-2

Zusammenfassung

Es ist keine Zusammenfassung verfügbar