Most Popular Books
- Les automates temporis�s comme outil de v�rification des protocoles de s�curit�
- Aut�matos temporizados como ferramenta de verifica��o de protocolos de seguran�a
- Automi temporizzati come strumento di verifica per i protocolli di sicurezza
- Zeitgesteuerte Automaten als Verifikationsinstrument f�r Sicherheitsprotokolle
- Timed Automata jako narzędzie weryfikacyjne dla protokol�w bezpieczeństwa
