Author

Profile picture
Karsten Stahl
Institute of Computer Science and Applied Mathematics CAU Kiel
Kiel, Germany
1 article by this author
Sort by:
Verification ...
Research Article
Verification of Parameterized Protocols
Kai Baukus, Yassine Lakhnech, Karsten Stahl
10.3217/jucs-007-02-0141
 28-02-2001
 Unique: 660 | Total: 761  | Access Period:
 141-158
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK