A Formal Specification Framework for Ad Hoc Mobile Communication Networks

Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos. A Formal Specification Framework for Ad Hoc Mobile Communication Networks. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II. pages 91-102, Institute of Computer Science AS CR, Prague, 2007.

Abstract

Abstract is missing.