Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.

Peter Csaba lveczky, Mark Keaton, Jos Meseguer, Carolyn L. Talcott, Steve Zabele

Browse the full FASE paper archive.