BibTeX record conf/essos/OchoaCPH15

download as .bib file

@inproceedings{DBLP:conf/essos/OchoaCPH15,
  author       = {Mart{\'{\i}}n Ochoa and
                  Jorge Cu{\'{e}}llar and
                  Alexander Pretschner and
                  Per A. Hallgren},
  editor       = {Frank Piessens and
                  Juan Caballero and
                  Nataliia Bielova},
  title        = {Idea: Unwinding Based Model-Checking and Testing for Non-Interference
                  on EFSMs},
  booktitle    = {Engineering Secure Software and Systems - 7th International Symposium,
                  ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8978},
  pages        = {34--42},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15618-7\_3},
  doi          = {10.1007/978-3-319-15618-7\_3},
  timestamp    = {Mon, 01 May 2023 13:01:13 +0200},
  biburl       = {https://dblp.org/rec/conf/essos/OchoaCPH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics