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.
@inproceedings{OuranosSF07:0,
title = {A Formal Specification Framework for Ad Hoc Mobile Communication Networks},
author = {Iakovos Ouranos and Petros S. Stefaneas and Panagiotis Frangos},
year = {2007},
tags = {mobile},
researchr = {https://researchr.org/publication/OuranosSF07%3A0},
cites = {0},
citedby = {0},
pages = {91-102},
booktitle = {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},
editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Plasil and Mária Bieliková},
publisher = {Institute of Computer Science AS CR, Prague},
isbn = {80-903298-9-6},
}