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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.