APA (7th ed.) Citation

Madeira, A., Faria, J., Martins, M. A., & Barbosa, L. (1000). Hybrid specification of reactive systems: An institutional approach.

Chicago Style (17th ed.) Citation

Madeira, A., J.M Faria, Manuel A. Martins, and L.S Barbosa. Hybrid Specification of Reactive Systems: An Institutional Approach. 1000.

MLA (8th ed.) Citation

Madeira, A., et al. Hybrid Specification of Reactive Systems: An Institutional Approach. 1000.