About this scholarly article

2008 New Technologies, Mobility and Security - Security Oriented Analysis of B92 by Model Checking by Elboukhari, Mohamed; Azizi, Abdelmalek; Azizi, Mostafa is a scholarly article available to read on EtoBox.

Author

Elboukhari, Mohamed; Azizi, Abdelmalek; Azizi, Mostafa

Publisher

IEEE

Published

2008