Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/tacas/AmendolaBCCFPST22
%A Amendola, Arturo
%A Becchi, Anna
%A Cavada, Roberto
%A Cimatti, Alessandro
%A Ferrando, Andrea
%A Pilati, Lorenzo
%A Scaglione, Giuseppe
%A Tacchella, Alberto
%A Zamboni, Marco
%B TACAS (1)
%D 2022
%E Fisman, Dana
%E Rosu, Grigore
%I Springer
%K dblp
%P 125-142
%T NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#AmendolaBCCFPST22
%V 13243
%@ 978-3-030-99524-9
@inproceedings{conf/tacas/AmendolaBCCFPST22,
added-at = {2022-04-29T00:00:00.000+0200},
author = {Amendola, Arturo and Becchi, Anna and Cavada, Roberto and Cimatti, Alessandro and Ferrando, Andrea and Pilati, Lorenzo and Scaglione, Giuseppe and Tacchella, Alberto and Zamboni, Marco},
biburl = {https://www.bibsonomy.org/bibtex/24bf1ff466d1abd55ab7da9ea7a2f831b/dblp},
booktitle = {TACAS (1)},
crossref = {conf/tacas/2022-1},
editor = {Fisman, Dana and Rosu, Grigore},
ee = {https://doi.org/10.1007/978-3-030-99524-9_7},
interhash = {60e0d8af55fc140e15ae098246ae3a26},
intrahash = {4bf1ff466d1abd55ab7da9ea7a2f831b},
isbn = {978-3-030-99524-9},
keywords = {dblp},
pages = {125-142},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T20:56:46.000+0200},
title = {NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#AmendolaBCCFPST22},
volume = 13243,
year = 2022
}