Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Formal techniques in protocol specification and testing
:
proceedings of the 2nd International KNP-4 Workshop, Bad Saarow, December 12 - 15, 1989