A Formal Specification Framework for Ad Hoc Mobile Communication Networks.

Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos

Browse the full SOFSEM paper archive.