Verified Evaluation of Recursive Expressions in Metric First-Order Dynamic Logic

Download
Full text (PDF, 612.8Kb)
Thumbnail
Open access
Author
Zingg, Sheila
Date
2021
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000514000
Publication status
published
Contributors
Examiner: Basin, Davidcc
Examiner: Traytel, Dmitriycc
Examiner: Schneider, Joshuacc
Publisher
ETH Zurich
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics