Gabor Simko, Janos Sztipanovits. Active Monitoring using Real-time Metric Linear Temporal Logic Specifications. In Emmanuel Conchon, Carlos Manuel B. A. Correia, Ana L. N. Fred, Hugo Gamboa, editors, HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1 - 4 February, 2012. pages 370-373, SciTePress, 2012.
@inproceedings{SimkoS12,
title = {Active Monitoring using Real-time Metric Linear Temporal Logic Specifications},
author = {Gabor Simko and Janos Sztipanovits},
year = {2012},
researchr = {https://researchr.org/publication/SimkoS12},
cites = {0},
citedby = {0},
pages = {370-373},
booktitle = {HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1 - 4 February, 2012},
editor = {Emmanuel Conchon and Carlos Manuel B. A. Correia and Ana L. N. Fred and Hugo Gamboa},
publisher = {SciTePress},
isbn = {978-989-8425-88-1},
}