cfaed Publications
Run-time verification using a temporal Description Logics
Reference
Franz Baader, "Run-time verification using a temporal Description Logics" , In Talk at the PCA Conference on ISO 15926 and Semantic Technologies, Sep 2011.
Bibtex
@Misc{ auto-key*ed,
author = {Franz Baader},
title = {Run-time verification using a temporal Description Logics},
howpublished = {Talk at the PCA Conference on ISO~15926 and Semantic Technologies},
month = sep,
year = {2011},
note = {(invited)},
project = {B02},
annote = {PCA = POSC Caesar Association; POSC = Petrotechnical Open Software Corporation}
}
author = {Franz Baader},
title = {Run-time verification using a temporal Description Logics},
howpublished = {Talk at the PCA Conference on ISO~15926 and Semantic Technologies},
month = sep,
year = {2011},
note = {(invited)},
project = {B02},
annote = {PCA = POSC Caesar Association; POSC = Petrotechnical Open Software Corporation}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1102