Preencha a seguinte informação para solicitar uma cópia do ficheiro: A formal validation approach for holonic control system specifications

Solicitar o seguinte ficheiro: 2003-ETFA-published.pdf