Parametric Timed Broadcast Protocols.

tienne Andr, Benot Delahaye, Paulin Fournier, Didier Lime

Browse the full VMCAI paper archive.