Models, Algorithms, Logics and Tools

MLA

Aceto, et al. Models, Algorithms, Logics and Tools. Springer International Publishing, 2017.

APA

Aceto, A., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A., & Mardare, R. (2017). Models, Algorithms, Logics and Tools. Springer International Publishing.

Chicago

Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare. Models, Algorithms, Logics and Tools. : Springer International Publishing, 2017.