BibTeX record conf/seke/NguyenC14

download as .bib file

@inproceedings{DBLP:conf/seke/NguyenC14,
  author       = {Huu Nghia Nguyen and
                  Ana R. Cavalli},
  editor       = {Marek Z. Reformat},
  title        = {Formal Verification of Coordination Systems' Requirements - {A} Case
                  Study on the European Train Control System},
  booktitle    = {The 26th International Conference on Software Engineering and Knowledge
                  Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
  pages        = {393--396},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2014},
  timestamp    = {Thu, 06 Oct 2022 12:30:17 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/NguyenC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics