Please use this identifier to cite or link to this item: http://archives.univ-biskra.dz/handle/123456789/18938
Title: Speci cation and Veri cation of 5G protocols using mCRL2
Other Titles: informatique
Authors: HAFIDI HOSSEM EDDINE
Issue Date: 20-Jun-2021
URI: http://archives.univ-biskra.dz/handle/123456789/18938
Appears in Collections:Faculté des Sciences Exactes et des Science de la Nature et de la vie (FSESNV)

Files in This Item:
File Description SizeFormat 
HAFIDI_HOSSEMEDDINE.pdf2,53 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.