Certifying deadlock-freedom for BIP models.

Jan Olaf Blech, Michal Prin

Browse the full SCOPES paper archive.