Login / Signup
Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin.
Clement Yuen
Wei Tjioe
Published in:
SPIN (2001)
Keyphrases
</>
computer networks
congestion control
real time