S | |
---|---|
[SRS09] | Anu Singh, C. R. Ramakrishnan, and Scott A. Smolka. Query-Based Model Checking of Ad Hoc Network Protocols. In CONCUR'09, Lecture Notes in Computer Science 5710, pages 603-619. Springer-Verlag, September 2009. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1