Modal Specifications for Probabilistic Timed Systems

Han, Tingting; Krause, Christian; Kwiatkowska, Marta; Giese, Holger

by Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese

Reference:

Modal Specifications for Probabilistic Timed Systems (Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese), In Proc. of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Open Publishing Association, 2013.

Bibtex Entry:

@InProceedings{HKKG13,
  AUTHOR = {Han, Tingting and Krause, Christian and Kwiatkowska, Marta
  and Giese, Holger},
  TITLE = {{Modal Specifications for Probabilistic Timed Systems}},
  YEAR = {2013},
  BOOKTITLE = {Proc. of the 11th International Workshop on Quantitative
  Aspects of Programming Languages and Systems (QAPL 2013)},
  SERIES = {Electronic Proceedings in Theoretical Computer Science},
  PUBLISHER = {Open Publishing Association},
}