Infoscience

Conference paper

Symbolic Implementation of Connectors in BIP

Related material