Karen Godary-Dejean, David Andreu, Romain Richard. Temporal bounds verication of the STIMAP protocol. In Sébastien Faucou, Alan Burns, Laurent George 0001, editors, 19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings. pages 97-106, 2011. [doi]
Abstract is missing.