Cited By
View all- Bouziane MGire SMonin FNana LChbeir RAgrawal RBiskri I(2016)Formal proof of security algorithms based on reachability reductionProceedings of the 8th International Conference on Management of Digital EcoSystems10.1145/3012071.3012085(67-72)Online publication date: 1-Nov-2016
- Bauguion PBen-Ameur WGourdin E(2015)Efficient algorithms for the maximum concurrent flow problemNetworks10.1002/net.2157265:1(56-67)Online publication date: 1-Jan-2015
- Terruggia RBobbio A(2010)QoS analysis of weighted multi-state probabilistic networks via decision diagramsProceedings of the 29th international conference on Computer safety, reliability, and security10.5555/1886301.1886306(41-54)Online publication date: 14-Sep-2010
- Show More Cited By