Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-time Maude (2007)

by Peter Csaba Ölveczky , Stian Thorvaldsen
Citations:15 - 6 self