Topology, monitorable properties and runtime verification
Title | Topology, monitorable properties and runtime verification |
Publication Type | Journal Article |
Year of Publication | 2014 |
Authors | Diekert, V, Leucker, M |
Journal | Theor. Comput. Sci. |
Volume | 537 |
Pagination | 29–41 |
URL | http://dx.doi.org/10.1016/j.tcs.2014.02.052 |
DOI | 10.1016/j.tcs.2014.02.052 |
Bibtex:
@article {1151, title = {Topology, monitorable properties and runtime verification}, journal = {Theor. Comput. Sci.}, volume = {537}, year = {2014}, pages = {29{\textendash}41}, doi = {10.1016/j.tcs.2014.02.052}, url = {http://dx.doi.org/10.1016/j.tcs.2014.02.052}, author = {Volker Diekert and Martin Leucker} }