Inproceedings,
Verification of railway network models with EVEREST.
J. Martins, J. Fonseca, R. Costa, J. Campos, A. Cunha, N. Macedo, and J. Oliveira.MoDELS, page 345-355. ACM, (2022)
Meta data
- BibTeX key
- conf/models/MartinsFCCCMO22
- entry type
- inproceedings
- booktitle
- MoDELS
- year
- 2022
- pages
- 345-355
- publisher
- ACM
- crossref
- conf/models/2022
- ee
- https://doi.org/10.1145/3550355.3552439
- isbn
- 978-1-4503-9466-6
- url
- http://dblp.uni-trier.de/db/conf/models/models2022.html#MartinsFCCCMO22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/models/MartinsFCCCMO22
%A Martins, João
%A Fonseca, José M.
%A Costa, Rafael
%A Campos, José Creissac
%A Cunha, Alcino
%A Macedo, Nuno
%A Oliveira, José N.
%B MoDELS
%D 2022
%E Syriani, Eugene
%E Sahraoui, Houari A.
%E Bencomo, Nelly
%E Wimmer, Manuel
%I ACM
%K dblp
%P 345-355
%T Verification of railway network models with EVEREST.
%U http://dblp.uni-trier.de/db/conf/models/models2022.html#MartinsFCCCMO22
%@ 978-1-4503-9466-6
@inproceedings{conf/models/MartinsFCCCMO22,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Martins, João and Fonseca, José M. and Costa, Rafael and Campos, José Creissac and Cunha, Alcino and Macedo, Nuno and Oliveira, José N.},
biburl = {https://www.bibsonomy.org/bibtex/24684e4a90a50e5676a03f37c4c047af9/dblp},
booktitle = {MoDELS},
crossref = {conf/models/2022},
editor = {Syriani, Eugene and Sahraoui, Houari A. and Bencomo, Nelly and Wimmer, Manuel},
ee = {https://doi.org/10.1145/3550355.3552439},
interhash = {c5594767aee9ad67357412a1ae3c8077},
intrahash = {4684e4a90a50e5676a03f37c4c047af9},
isbn = {978-1-4503-9466-6},
keywords = {dblp},
pages = {345-355},
publisher = {ACM},
timestamp = {2024-04-09T21:59:55.000+0200},
title = {Verification of railway network models with EVEREST.},
url = {http://dblp.uni-trier.de/db/conf/models/models2022.html#MartinsFCCCMO22},
year = 2022
}