Zum Inhalt springen

Loading / Wird geladen

Prof. Dr. Prof. h.c. Andreas Dengel

Start Profil Publikationen Aktuelles Google Scholar Scholar GPS Kontakt

©2026 Prof. Dr. Prof. h.c. Andreas Dengel

Datenschutz Impressum

Automating Interactive Protocol Verification | Prof. Dr. Andreas Dengel

Automating Interactive Protocol Verification

PDF herunterladen Publikation öffnen

Autoren

Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock

Veröffentlichung

-

Jahr

2008