APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Leitão, Paulo, Armando W. Colombo, and Francisco José de Oliveira Restivo. A Formal Validation Approach for Holonic Control System Specifications. 2003.

MLA (8th ed.) Citation

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