Citations refer to the original publication, not to a Scieee localized version.
Isenberg, T. (2016). Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc. https://digital.ub.uni-paderborn.de/hsx/content/titleinfo/2012802
Isenberg, Tobias. Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc. 2016. https://digital.ub.uni-paderborn.de/hsx/content/titleinfo/2012802.
Isenberg, Tobias. Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc. 2016. https://digital.ub.uni-paderborn.de/hsx/content/titleinfo/2012802.
Isenberg, T. (2016) Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc. Available at: https://digital.ub.uni-paderborn.de/hsx/content/titleinfo/2012802.
T. Isenberg, “Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc,” 2016. [Online]. Available: https://digital.ub.uni-paderborn.de/hsx/content/titleinfo/2012802
@misc{isenberg2016inductionbased,
author = {Isenberg, Tobias},
title = {Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc},
year = {2016},
url = {https://digital.ub.uni-paderborn.de/hsx/content/titleinfo/2012802}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
