Specification and analysis of the AER/NCA active network protocol suite (0)

by P C Ölveczky, J Meseguer, C L Talcott
Venue:in Real-Time Maude. Formal Methods in System Design