On Expressing and Monitoring Oscillatory Dynamics. Dluhos, P., Brim, L., & Safránek, D. In Bartocci, E. & Bortolussi, L., editors, HSB, volume 92, of EPTCS, pages 73-87, 2012.
On Expressing and Monitoring Oscillatory Dynamics [link]Link  On Expressing and Monitoring Oscillatory Dynamics [link]Paper  bibtex   
@inproceedings{journals/corr/abs-1208-3853,
  author = {Dluhos, Petr and Brim, Lubos and Safránek, David},
  booktitle = {HSB},
  crossref = {journals/corr/abs-1208-3151},
  editor = {Bartocci, Ezio and Bortolussi, Luca},
  ee = {http://dx.doi.org/10.4204/EPTCS.92.6},
  interhash = {e01860dfbb17fdacf1039d50929c4ff2},
  intrahash = {870a78b5d5f3d049638c78f85c09b4d9},
  pages = {73-87},
  series = {EPTCS},
  title = {On Expressing and Monitoring Oscillatory Dynamics},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs92.html#abs-1208-3853},
  volume = 92,
  year = 2012
}

Downloads: 0