Induction-based Verification of Timed Systems

T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.

Download
Restricted 1190-thesis_abgabeversion.pdf 3.35 MB
Dissertation
Author
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
Restricted Closed Access
Last Uploaded
2018-03-08T09:14:11Z


Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar