cfaed Publications

Runtime verification using the temporal description logic ALC-LTL revisited

Reference

Franz Baader, Marcel Lippmann, "Runtime verification using the temporal description logic ALC-LTL revisited" , In Journal of Applied Logic, Elsevier, vol. 12, no. 4, pp. 584–613, 2014. [doi]

Bibtex

@article{baader2014runtime,
title={Runtime verification using the temporal description logic ALC-LTL revisited},
author={Baader, Franz and Lippmann, Marcel},
journal={Journal of Applied Logic},
volume={12},
number={4},
pages={584--613},
year={2014},
publisher={Elsevier},
doi={10.1016/j.jal.2014.09.001}
}

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=115


Go back to publications list