Analysing timed properties of ad hoc network protocols via model checking

Analysing timed properties of ad hoc network protocols via model checking

Bibliographic Details
Main Author: Chiyangwa, Sibusisiwe
Published: University of Birmingham 2005
Subjects:
004.62
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423368

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423368

Similar Items