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

Cached

Download Links

by Peter Csaba Ölveczky , Mark Keaton , Peter Csaba , José Meseguer , Carolyn Talcott , Steve Zabele
Citations:23 - 14 self