Verification of Railway Network Models with Everest

AuthID
P-00X-BH8
7
Author(s)
Martins, J
·
Fonseca, JM
·
Document Type
Proceedings Paper
Year published
2022
Published
in PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022
Pages: 345-355 (11)
Indexing
Publication Identifiers
Dblp: conf/models/MartinsFCCCMO22
Scopus: 2-s2.0-85141819780
Unpaywall: 10.1145/3550355.3552439
Wos: WOS:001147203600032
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.