Date: 2012-10-30 05:38:35Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic | | Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchenAdd to Reading ListSource URL: www.immerundewig.atDownload Document from Source Website File Size: 714,70 KBShare Document on Facebook
|