BibTeX record conf/safecomp/AnselmiBFGLMT95

• > Home > conf/safecomp/AnselmiBFGLMT95

@inproceedings{DBLP:conf/safecomp/AnselmiBFGLMT95,
  author       = {A. Anselmi and
                  Cinzia Bernardeschi and
                  Alessandro Fantechi and
                  Stefania Gnesi and
                  Salvatore Larosa and
                  Giorgio Mongardi and
                  Fernando Torielli},
  editor       = {Gerhard Rabe},
  title        = {An Experience in Formal Verification of Safety Properties of a Railway
                  Signalling Control System},
  booktitle    = {14th International Conference on Computer Safety, Reliability and
                  Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
  pages        = {474--488},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-1-4471-3054-3\_33},
  doi          = {10.1007/978-1-4471-3054-3\_33},
  timestamp    = {Tue, 25 Jun 2019 09:50:12 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}