![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st FMWS@CONCUR 2008: Toronto, ON, Canada
- Jens Chr. Godskesen, Massimo Merro:
Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(2), Elsevier 2009 - Jens Chr. Godskesen, Massimo Merro
:
Preface. 1 - Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar:
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. 3-30 - Mohammad Abdollahi Azgomi
, Ali Khalili:
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets. 31-42 - Osman Hasan
, Sofiène Tahar:
Probabilistic Analysis of Wireless Systems Using Theorem Proving. 43-58 - Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. 59-71 - Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni:
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. 73-85
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.