DMCA

Specification and Analysis of a Reliable Broadcasting Protocol in Maude (1999)

Cached

Download Links

by Grit Denker , J.J. Garcia-Luna-Aceves , José Meseguer , Peter Csaba Ölveczky , Peter Csaba , Jyoti Raju , Brad Smith , Carolyn L. Talcott
Citations:5 - 3 self