Browsing by Author Leucker, Martin
Showing results 3 to 4 of 4
Runtime Verification for LTL and TLTL
Author(s) | Bauer, Andreas; Leucker, Martin; Schallhart, Christian |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
The Theory and Practice of SALT
Author(s) | Bauer, Andreas; Leucker, Martin |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | April 18-20 2011 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator