TY  - JOUR
AU  - Peter Backeman
AU  - Ashalatha Kunnappilly
AU  - Cristina Seceleanu
TI  - Supporting 5G Service Orchestration with Formal Verification
JO  - Computer Science and Information Systems
PY  - 2023
VL  - 20
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2023_20_1_a19/
ID  - CSIS_2023_20_1_a19
ER  -