@inproceedings{SchmidtkeWoo09,
	author = {Schmidtke, H. R. and W. Woo},
	booktitle = {Pervasive 2009},
	Date-Added = {2009-10-28 09:58:24 +0100},
	Date-Modified = {2009-10-28 11:33:24 +0100},
	editor = {Hide Tokuda and Michael Beigl and A.J. Brush and Adrian Friday and Yoshito Tobe},
	Ee = {http://dx.doi.org/10.1007/978-3-642-01516-8_21},
	ibrauthors = {hschmi},
	ibrgroups = {dus},
	pages = {309--326},
	publisher = {Springer},
	title = {Towards Ontology-Based Formal Verification Methods for Context Aware Systems},
	year = {2009},
	url = {http://dx.doi.org/10.1007/978-3-642-01516-8_21}}


% This file was created with JabRef 2.5.
% Encoding: Cp1252