Specification Synthesis for Monitoring and Analysis of MANET Protocols.

Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong

Browse the full AINA paper archive.