Cited By
View all- Macia HRuiz MMateo JCalleja J(2015)Petri nets-based model for the analysis of NORIA protocolConcurrency and Computation: Practice & Experience10.1002/cpe.345227:17(4704-4715)Online publication date: 10-Dec-2015
- Yan JLi LKim D(2013)Reconstruction of event sequences based on asynchronous observations in sensor networksProceedings of the 7th International Conference on Ubiquitous Information Management and Communication10.1145/2448556.2448593(1-7)Online publication date: 17-Jan-2013
- Ölveczky PThorvaldsen S(2006)Formal modeling and analysis of wireless sensor network algorithms in real-time maudeProceedings of the 20th international conference on Parallel and distributed processing10.5555/1898953.1899110(175-175)Online publication date: 25-Apr-2006