TITLE     : Formal Methods for Distributed Computing in Future Railway Systems
AUTHOR(S) : Fantechi A, Gnesi S, Haxthausen Ae
TYPE      : Conference article
YEAR      : 2020
CODE      : 443146

*** DO NOT EDIT THIS FILE ***