Skip to content

Loading / Wird geladen

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

Home Profile Publications News Google Scholar Scholar GPS Contact

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

Data protection Legal notice

Automating Interactive Protocol Verification | Prof. Dr. Andreas Dengel

Automating Interactive Protocol Verification

Download PDF Open publication

Authors

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

Venue

-

Year

2008