Model Checking of Component Connectors.

Mohammad Izadi, Ali Movaghar, Farhad Arbab

Browse the full COMPSAC paper archive.