| ID | SchmidtkeWoo09 |
| Type | inProceedings - an article in a conference proceedings |
| Author | Schmidtke, H. R. |
| W. Woo | |
| IBR Author(s) | Dr. Hedda Schmidtke |
| IBR Group(s) | DUS (Prof. Beigl) |
| Editor | Hide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe |
| Title | Towards Ontology-Based Formal Verification Methods for Context Aware Systems |
| Book Title | Pervasive 2009 |
| Year | 2009 |
| Page(s) | 309-326 |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-642-01516-8_21 |