@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, axe_Pacs, DCS},
biburl = {http://dblp.org/rec/bib/conf/secrypt/DreierPP0R17},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
