- Tytuł:
- Verification Techniques for a Network Algebra
- Autorzy:
-
Brodo, Linda
Olarte, Carlos - Data publikacji:
- 2020
- Słowa kluczowe:
-
CCS
concurrency theory
process calculi
symbolic semantics
verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł