Equational Reasoning on Ad Hoc Networks

Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar. Equational Reasoning on Ad Hoc Networks. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Volume 5961 of Lecture Notes in Computer Science, pages 113-128, Springer, 2009. [doi]

Authors

Fatemeh Ghassemi

This author has not been identified. Look up 'Fatemeh Ghassemi' in Google

Wan Fokkink

Identified as Wan Fokkink

Ali Movaghar

This author has not been identified. Look up 'Ali Movaghar' in Google