BIP system: A tool for protocol verification.

Vincenza Carchiolo, Alberto Faro

Browse the full ICCC paper archive.