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}
}