Modeling and verifying a price model for congestion control in computer networks using promela/spin
2001 ◽
pp. 272-287
◽
2018 ◽
Vol 6
(6)
◽
pp. 480-485
2009 ◽
Vol 42
(14)
◽
pp. 201-206
◽
Keyword(s):
Keyword(s):