APA (7th ed.) Citation

Leitão, P., Colombo, A. W., & Restivo, F. (2010). A formal validation approach for holonic control system specifications.

Chicago Style (17th ed.) Citation

Leitão, Paulo, Armando W. Colombo, and Francisco Restivo. A Formal Validation Approach for Holonic Control System Specifications. 2010.

MLA (8th ed.) Citation

Leitão, Paulo, et al. A Formal Validation Approach for Holonic Control System Specifications. 2010.