---
_id: '25179'
author:
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
citation:
  ama: 'Rammig F-J, Zhao Y. Online Model Checking. In: <i>Dependability of Self-Optimizing
    Mechatronic Systems</i>. Springer-Verlag; 2014:147-152.'
  apa: Rammig, F.-J., &#38; Zhao, Y. (2014). Online Model Checking. In <i>Dependability
    of Self-Optimizing Mechatronic Systems</i> (pp. 147–152). Springer-Verlag.
  bibtex: '@inbook{Rammig_Zhao_2014, place={ Heidelberg, Germany}, title={Online Model
    Checking}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag},
    author={Rammig, Franz-Josef and Zhao, Yuhong}, year={2014}, pages={147–152} }'
  chicago: 'Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” In <i>Dependability
    of Self-Optimizing Mechatronic Systems</i>, 147–52.  Heidelberg, Germany: Springer-Verlag,
    2014.'
  ieee: 'F.-J. Rammig and Y. Zhao, “Online Model Checking,” in <i>Dependability of
    Self-Optimizing Mechatronic Systems</i>,  Heidelberg, Germany: Springer-Verlag,
    2014, pp. 147–152.'
  mla: Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” <i>Dependability
    of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag, 2014, pp. 147–52.
  short: 'F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic
    Systems, Springer-Verlag,  Heidelberg, Germany, 2014, pp. 147–152.'
date_created: 2021-09-30T13:07:12Z
date_updated: 2022-01-06T06:56:54Z
department:
- _id: '672'
language:
- iso: eng
page: 147-152
place: ' Heidelberg, Germany'
publication: Dependability of Self-Optimizing Mechatronic Systems
publisher: Springer-Verlag
status: public
title: Online Model Checking
type: book_chapter
user_id: '21240'
year: '2014'
...