Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001, Jean-Louis Roch. Formally and practically verifying flow properties in industrial systems. Computers & Security, 86:453-470, 2019. [doi]
@article{DreierPPLR19,
title = {Formally and practically verifying flow properties in industrial systems},
author = {Jannik Dreier and Maxime Puys and Marie-Laure Potet and Pascal Lafourcade 0001 and Jean-Louis Roch},
year = {2019},
doi = {10.1016/j.cose.2018.09.018},
url = {https://doi.org/10.1016/j.cose.2018.09.018},
researchr = {https://researchr.org/publication/DreierPPLR19},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {86},
pages = {453-470},
}