Ahmed Sobeih. Verification of Simulation Models of Network Protocols Using State Space Exploration. PhD thesis, University of Illinois Urbana-Champaign, USA, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.