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}
}
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
Permalink
https://cfaed.tu-dresden.de/publications?pubId=115