Results 211 to 217 of about 2,473,081 (217)
Some of the next articles are maybe not open access.
SHAPA: an interactive software environment for protocol analysis
Ergonomics, 1989Penelope Sanderson
exaly
Protocol Verification via Projections
IEEE Transactions on Software Engineering, 1984A Udaya Shankar
exaly
Finite-Time Consensus of Multiagent Systems With a Switching Protocol
IEEE Transactions on Neural Networks and Learning Systems, 2016Xiaoyang Liu, James Lam, Wenwu Yu
exaly
ANMP: ad hoc network management protocol
IEEE Journal on Selected Areas in Communications, 1999exaly

