Browsing by Author Baader, Franz
Showing results 5 to 5 of 5
Runtime verification using a temporal description logic
Author(s) | Baader, Franz; Bauer, Andreas; Lippmann, Marcel |
---|---|
Type | Book chapter |
Date Published | 2009 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator