Automating Interactive Protocol Verification.
KI. 2008 S. 30 - 37
Erscheinungsjahr: 2008
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-540-85845-4_4
| Geprüft: | Bibliothek |
Autoren
Cheikhrouhou, Lassaad (Autor)
Nonnengart, Andreas (Autor)
Stephan, Werner (Autor)
Koob, Frank (Autor)
