Simple Representative Instantiations for Multicast Protocols.

Javier Esparza, Monika Maidl

Browse the full TACAS paper archive.