APA (7th ed.) Citation

Brunel, J., Chemouil, D., Cunha, A., & Macedo, N. (2018). The electrum analyzer: Model checking relational first-order temporal specifications.

Chicago Style (17th ed.) Citation

Brunel, Julien, David Chemouil, Alcino Cunha, and Nuno Macedo. The Electrum Analyzer: Model Checking Relational First-order Temporal Specifications. 2018.

MLA (8th ed.) Citation

Brunel, Julien, et al. The Electrum Analyzer: Model Checking Relational First-order Temporal Specifications. 2018.