Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.007 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
13-Dec-2017 | Enabling Reasoning And Verification Support For Intelligent Agent Systems, Using Formal Methods | Aikaterini E. Ksystra | Φράγκος Παναγιώτης |