Modeling and verifying a price model for congestion control in computer networks using promela/spin

Author(s):  
Clement Yuen ◽  
Wei Tjioe
Sign in / Sign up

Export Citation Format

Share Document