- Tytuł:
- LDYIS: a Framework for Model Checking Security Protocols
- Autorzy:
-
Lomuscio, A.
Penczek, W. - Data publikacji:
- 2008
- Słowa kluczowe:
- multi-agent systems
- Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.