Induction-based Verification of Timed Systems
T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.
Download
1190-thesis_abgabeversion.pdf
3.35 MB
Dissertation
Author
Isenberg, Tobias
Supervisor
Publishing Year
LibreCat-ID
Cite this
Isenberg T. Induction-Based Verification of Timed Systems. Universität Paderborn; 2016.
Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn.
@book{Isenberg_2016, title={Induction-based Verification of Timed Systems}, publisher={Universität Paderborn}, author={Isenberg, Tobias}, year={2016} }
Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016.
Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
Main File(s)
File Name
1190-thesis_abgabeversion.pdf
3.35 MB
Access Level
Closed Access
Last Uploaded
2018-03-08T09:14:11Z
Google Scholar