![HAL Archives-Ouvertes](https://s3.amazonaws.com/weyland.altmetric.com/news_sources/logos/000/001/679/normal/Screen_Shot_2016-01-26_at_14.14.52.png?1453817707)
Mohamed Rakha, Fahim Imam, Thomas Dean. Generating a Real-Time Constraint Engine for Network Protocols. 12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.44-60, ⟨10.1007/978-3-030-20074
HAL Archives-Ouvertes,
Mohamed Rakha, Fahim Imam, Thomas Dean. Generating a Real-Time Constraint Engine for Network Protocols.