Stochastic real-time systems : parameter synthesis and games /

Saved in:
Bibliographic Details
Main Author: Řehák, Vojtěch, 1979- (Dissertant)
Format: Thesis Manuscript
Language:Czech
Published: 2018
Subjects:
Cover Image
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
Week
Faculty of Informatics Habil. práce 2018 42005D2718