EVA STAR Trefferanzeige

Volltext 2012,10_pdfa.pdf1.pdf (812 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-281845
Titel Dynamic Trace Logic: Definition and Proofs
Autor Beckert, Bernhard
Bruns, Daniel
Institution Fakultät für Informatik (INFORMATIK)
Institut für Theoretische Informatik (ITI)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2012
Serie Karlsruhe Reports in Informatics ; 2012,10
ISSN: 2190-4782