%0 Conference Paper %1 conf/etfa/RieckhofDK11 %A Rieckhof, Federico %A Dibowski, Henrik %A Kabitzsch, Klaus %B ETFA %D 2011 %E Mammeri, Zoubir %I IEEE %K dblp %P 1-8 %T Formal validation techniques for Ontology-based Device Descriptions. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2011.html#RieckhofDK11 %@ 978-1-4577-0018-7

@inproceedings{conf/etfa/RieckhofDK11, added-at = {2013-05-08T00:00:00.000+0200}, author = {Rieckhof, Federico and Dibowski, Henrik and Kabitzsch, Klaus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23cbc0ef701639807a2c3538548560d7c/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2011}, editor = {Mammeri, Zoubir}, ee = {http://dx.doi.org/10.1109/ETFA.2011.6058974}, interhash = {36db95b5716d2aaf6f42e2f7d8113e11}, intrahash = {3cbc0ef701639807a2c3538548560d7c}, isbn = {978-1-4577-0018-7}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2016-02-02T16:14:04.000+0100}, title = {Formal validation techniques for Ontology-based Device Descriptions.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2011.html#RieckhofDK11}, year = 2011 }