%0
Generic
%T
Dynamic Trace Logic
Definition and Proofs
%A
Beckert, Bernhard
%A
Grahl, Daniel
%I
KIT, Fakultät für Informatik
%K
Forschungsbericht
%D
2012
%C
KIT, Fakultät für Informatik
%C
Karlsruhe
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation