| ID | SchmidtkeWoo09 |
| Typ | inProceedings - Artikel in einem Konferenzband |
| Autor | Schmidtke, H. R. |
| W. Woo | |
| IBR Autor(en) | Dr. Hedda Schmidtke |
| IBR Gruppe(n) | DUS (Prof. Beigl) |
| Editor | Hide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe |
| Titel | Towards Ontology-Based Formal Verification Methods for Context Aware Systems |
| Buchtitel | Pervasive 2009 |
| Jahr | 2009 |
| Seite(n) | 309-326 |
| Verlag | Springer |
| URL | http://dx.doi.org/10.1007/978-3-642-01516-8_21 |