Sherif G. Aly, Ashraf M. Salem. Java Based Co-Verification of Expedited Mobile Device Collaboration. In Hamid R. Arabnia, Laurence Tianruo Yang, editors, Proceedings of the International Conference on Embedded Systems and Applications, ESA 03, June 23 - 26, 2003, Las Vegas, Nevada, USA. pages 161-168, CSREA Press, 2003.
Abstract is missing.