bibtex

@article{DPP+8a,
    title = { Formally and practically verifying flow properties in industrial systems },
    author = {Dreier, Jannik and Puys, Maxime and Potet, Marie-Laure and Lafourcade, Pascal and Roch, Jean-Louis},
    year = {2018},
    journal = {Computers \& Security},
    team = {PACSS, DCS},
}

URL

Publication Sections


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

info visites 1186669