Skip navigation
Skip navigation

Browsing by Author Leucker, Martin

Or enter first few letters:  
Showing results 3 to 4 of 4

Runtime Verification for LTL and TLTL

Author(s)Bauer, Andreas; Leucker, Martin; Schallhart, Christian
TypeJournal article
Date Published2011
Date Created-

The Theory and Practice of SALT

Author(s)Bauer, Andreas; Leucker, Martin
TypeConference paper
Date Published2011
Date CreatedApril 18-20 2011

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator