Some Trends in Formal Methods Applications to Railway Signaling
The work
| Authors | Alessandro Fantechi; Wan Fokkink; Angelo Morzenti |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2012 |
| Citekey | fantechi2012some |
Where it appeared
| Published in | Formal Methods for Industrial Critical Systems |
|---|---|
| Publisher | Wiley |
| Pages | 61--84 |
Identifiers
| DOI | 10.1002/9781118459898.ch4 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | huisman2020industrial |
|---|
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-11 00:00 UTC |
| Approved by | a person 2026-08-11 07:50 UTC |
Filed under
Cite it as
@incollection{fantechi2012some,
title = {Some Trends in Formal Methods Applications to Railway Signaling},
author = {Alessandro Fantechi and Wan Fokkink and Angelo Morzenti},
year = {2012},
booktitle = {Formal Methods for Industrial Critical Systems},
publisher = {Wiley},
pages = {61--84},
doi = {10.1002/9781118459898.ch4},
}
This record lives at https://refs.drheap.org/fantechi2012some/ and will keep doing so.