@inproceedings{dalzilio:hal-01202799,
  TITLE = {{Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus}},
  AUTHOR = {Dal Zilio, Silvano and Berthomieu, Bernard},
  URL = {https://hal.science/hal-01202799},
  NOTE = {This work was presented at TTCS 2015, the First IFIP International Conference on Topics in Theoretical Computer Science, August 26-28,2015.  Institute for Research in Fundamental Sciences (IPM), Tehran, Iran.},
  BOOKTITLE = {{1st International Conference on Theoretical Computer Science (TTCS)}},
  ADDRESS = {Teheran, Iran},
  HAL_LOCAL_REFERENCE = {Rapport LAAS n{\textdegree} 15356},
  EDITOR = {Mohammad Taghi Hajiaghayi and Mohammad Reza Mousavi},
  PUBLISHER = {{Springer}},
  SERIES = {Topics in Theoretical Computer Science},
  VOLUME = {LNCS-9541},
  PAGES = {90-104},
  YEAR = {2015},
  MONTH = Aug,
  DOI = {10.1007/978-3-319-28678-5\_7},
  KEYWORDS = {real time model checking ; time Petri nets},
  PDF = {https://hal.science/hal-01202799/file/article.pdf},
  HAL_ID = {hal-01202799},
  HAL_VERSION = {v1},
}