Show simple item record

dc.contributor.authorSingh, Anuen_US
dc.date.accessioned2011-09-13T17:31:58Z
dc.date.available2011-09-13T17:31:58Z
dc.date.issued2009-08-01
dc.date.submittedAugust 2009en_US
dc.identifier000000765.sbu.pdfen_US
dc.identifier.urihttp://hdl.handle.net/1951/52282
dc.description.sponsorshipStony Brook University Libraries. SBU Graduate School in Computer Science. Lawrence Martin (Dean of Graduate School), Professor C. R. Ramakrishnan, Advisor Department of Computer Science, Professor Scott A. Smolka, Co-Advisor Department of Computer Science, Professor Radu Grosu, Chairperson of Defense Department of Computer Science, Professor Scott D. Stoller, Committee Member Department of Computer Science, Professor Rance Cleaveland, External Member Department of Computer Science University of Maryland.en_US
dc.language.isoen_USen_US
dc.subject.lcshAd hoc networks (Computer networks)en_US
dc.subject.otherMobile ad hoc networksen_US
dc.titleModeling and Verification Techniques for Ad Hoc Network Protocolsen_US
dc.typeDissertationen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record