Aggregate approach for specification, validation, simulation and implementation of computer network protocols
2005 ◽
pp. 433-477
◽
2007 ◽
Vol 9
(3)
◽
pp. 44-57
◽
2007 ◽
Vol 45
(12)
◽
pp. 136-142
◽
2002 ◽
Vol 45
(3)
◽
pp. 276-284
◽
1996 ◽
Vol 54
◽
pp. 396-397
Keyword(s):