Data di Pubblicazione:
2020
Citazione:
Verification techniques for a network algebra / Brodo, L; Olarte, C. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 172:1(2020), pp. 1-38. [10.3233/FI-2020-1890]
Tipologia CRIS:
1.1 Articolo in rivista
Keywords:
CCS; Concurrency theory; Process calculi; Symbolic semantics; Verification;
Elenco autori:
Brodo, L; Olarte, C
Link alla scheda completa:
Pubblicato in: