%0 Conference Paper %1 conf/mobimedia/AntonisV07 %A Antonis, Konstantinos %A Voros, Nikos S. %B MobiMedia %D 2007 %E Dagiuklas, Tasos %E Sklavos, Nicolas %I ICST %K dblp %P 26 %T Applying formal methods for the design of wireless telecommunication systems. %U http://dblp.uni-trier.de/db/conf/mobimedia/mobimedia2007.html#AntonisV07 %V 329 %@ 978-963-06-2670-5

@inproceedings{conf/mobimedia/AntonisV07, added-at = {2018-11-30T00:00:00.000+0100}, author = {Antonis, Konstantinos and Voros, Nikos S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d5f9f82eae27f0328f7343876db3fbb7/dblp}, booktitle = {MobiMedia}, crossref = {conf/mobimedia/2007}, editor = {Dagiuklas, Tasos and Sklavos, Nicolas}, ee = {https://dl.acm.org/citation.cfm?id=1385320}, interhash = {c6ddef4e1f193f53468450b0944d287c}, intrahash = {d5f9f82eae27f0328f7343876db3fbb7}, isbn = {978-963-06-2670-5}, keywords = {dblp}, pages = 26, publisher = {ICST}, series = {ACM International Conference Proceeding Series}, timestamp = {2022-03-01T06:59:36.000+0100}, title = {Applying formal methods for the design of wireless telecommunication systems.}, url = {http://dblp.uni-trier.de/db/conf/mobimedia/mobimedia2007.html#AntonisV07}, volume = 329, year = 2007 }