Federico Rieckhof, Henrik Dibowski, Klaus Kabitzsch. Formal validation techniques for Ontology-based Device Descriptions. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]
@inproceedings{RieckhofDK11,
title = {Formal validation techniques for Ontology-based Device Descriptions},
author = {Federico Rieckhof and Henrik Dibowski and Klaus Kabitzsch},
year = {2011},
doi = {10.1109/ETFA.2011.6058974},
url = {http://dx.doi.org/10.1109/ETFA.2011.6058974},
researchr = {https://researchr.org/publication/RieckhofDK11},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011},
editor = {Zoubir Mammeri},
publisher = {IEEE},
isbn = {978-1-4577-0018-7},
}