Startseite > Publikationen > Publikationen

Publikationen

Rammig, Franz-Josef;Zhao, Yuhong:

Online Model Checking.

In: Dependability of Self-Optimizing Mechatronic Systems, S. 147 - 152. Springer-Verlag, Heidelberg, Germany, Jan. 2014

Bibtex

@incollection{hniid=8483,
author = {Rammig, Franz-Josef and Zhao, Yuhong},
title = {Online Model Checking},
booktitle = {Dependability of Self-Optimizing Mechatronic Systems},
pages = {147 - 152},
publisher = {Springer-Verlag, Heidelberg, Germany},
month = jan,
year = {2014},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/8483