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:25 - 15 self