BibTeX record conf/secrypt/DreierPP0R17

download as .bib file

@inproceedings{DBLP:conf/secrypt/DreierPP0R17,
  author    = {Jannik Dreier and
               Maxime Puys and
               Marie{-}Laure Potet and
               Pascal Lafourcade and
               Jean{-}Louis Roch},
  editor    = {Pierangela Samarati and
               Mohammad S. Obaidat and
               Enrique Cabello},
  title     = {Formally Verifying Flow Properties in Industrial Systems},
  booktitle = {Proceedings of the 14th International Joint Conference on e-Business
               and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
               Spain, July 24-26, 2017},
  pages     = {55--66},
  publisher = {SciTePress},
  year      = {2017},
  url       = {https://doi.org/10.5220/0006396500550066},
  doi       = {10.5220/0006396500550066},
  timestamp = {Thu, 17 Aug 2017 18:36:09 +0200},
  biburl    = {https://dblp.org/rec/conf/secrypt/DreierPP0R17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics