Showing results 1 to 1 of 1
Towards ontology-based formal verification methods for context aware systems Schmidtke, Hedda R.; Woo, Woontack, LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), v.5538, pp.309 - 326, 2009-05 |
Discover