bibtex

@inproceedings{DPP+7,
    title = {Formally Verifying Flow Properties in Industrial Systems },
    author = {Dreier, Jannik and Puys, Maxime and Potet, Marie-Laure and Lafourcade, Pascal and Roch, Jean-Louis},
    year = {2017},
    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},
    team = {PACSS, DCS},
    biburl = {http://dblp.org/rec/bib/conf/secrypt/DreierPP0R17}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1113878