A Comprehensive Formal Analysis of 5G Handover
Year of publication
2021
Authors
Peltonen, Aleksi; Sasse, Ralf; Basin, David
Organizations and authors
Aalto University
Peltonen Aleksi 
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Publisher
Article number
3467823
Pages
1-12
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
Yes
Open access of publication channel
Partially open publication channel
Self-archived
Yes
Article processing fee (EUR)
589
Year of payment for the open publication fee
2021
Other information
Fields of science
Computer and information sciences
Identified topic
[object Object]
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1145/3448300.3467823
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes