APA (7th ed.) Citation

Macedo, N., Brunel, J., Chemouil, D., Cunha, A., & Kuperberg, D. (2016). Lightweight specification and analysis of dynamic systems with rich configurations.

Chicago Style (17th ed.) Citation

Macedo, Nuno, Julien Brunel, David Chemouil, Alcino Cunha, and Denis Kuperberg. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. 2016.

MLA (8th ed.) Citation

Macedo, Nuno, et al. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. 2016.