Normal view
MARC view
I/O Automata (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)776450: Smith, M. 736513, for mal Specification and Verification of Tcp Selective Aknowledgment