BibTeX record conf/sac/PereiraOBBD22

• > Home > conf/sac/PereiraOBBD22

@inproceedings{DBLP:conf/sac/PereiraOBBD22,
  author       = {Dalay Israel de Almeida Pereira and
                  Marcel Vin{\'{\i}}cius Medeiros Oliveira and
                  P. E. R. Bezerra and
                  Philippe Bon and
                  Simon Collart Dutilleul},
  editor       = {Jiman Hong and
                  Miroslav Bures and
                  Juw Won Park and
                  Tom{\'{a}}s Cern{\'{y}}},
  title        = {{CSP} specification and verification of relay-based railway interlocking
                  systems},
  booktitle    = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
                  Event, April 25 - 29, 2022},
  pages        = {97--106},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3477314.3507060},
  doi          = {10.1145/3477314.3507060},
  timestamp    = {Fri, 08 Dec 2023 18:09:12 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/PereiraOBBD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}