![](/img/cover-not-exists.png)
[IEEE 2008 New Technologies, Mobility and Security (NTMS) - Tangier, Morocco (2008.11.5-2008.11.7)] 2008 New Technologies, Mobility and Security - Security Oriented Analysis of B92 by Model Checking
Elboukhari, Mohamed, Azizi, Abdelmalek, Azizi, MostafaYear:
2008
Language:
english
DOI:
10.1109/ntms.2008.ecp.89
File:
PDF, 206 KB
english, 2008