%0 Conference Paper %1 conf/sofsem/OuranosSF07 %A Ouranos, Iakovos %A Stefaneas, Petros S. %A Frangos, Panagiotis %B SOFSEM (2) %D 2007 %E van Leeuwen, Jan %E Italiano, Giuseppe F. %E van der Hoek, Wiebe %E Meinel, Christoph %E Sack, Harald %E Plásil, Frantisek %E Bieliková, Mária %I Institute of Computer Science AS CR, Prague %K dblp %P 91-102 %T A Formal Specification Framework for Ad Hoc Mobile Communication Networks. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2007-2.html#OuranosSF07 %@ 80-903298-9-6

@inproceedings{conf/sofsem/OuranosSF07, added-at = {2007-03-02T00:00:00.000+0100}, author = {Ouranos, Iakovos and Stefaneas, Petros S. and Frangos, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/27483055bf3499782fe7ed3219e9e84b5/dblp}, booktitle = {SOFSEM (2)}, crossref = {conf/sofsem/2007-2}, editor = {van Leeuwen, Jan and Italiano, Giuseppe F. and van der Hoek, Wiebe and Meinel, Christoph and Sack, Harald and Plásil, Frantisek and Bieliková, Mária}, interhash = {8dd75817f0133fb1a1f1ec06402e5e3d}, intrahash = {7483055bf3499782fe7ed3219e9e84b5}, isbn = {80-903298-9-6}, keywords = {dblp}, pages = {91-102}, publisher = {Institute of Computer Science AS CR, Prague}, timestamp = {2024-04-10T01:18:30.000+0200}, title = {A Formal Specification Framework for Ad Hoc Mobile Communication Networks.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2007-2.html#OuranosSF07}, year = 2007 }