Cita APA

Abuin Yepes, A., Díaz de Cerio, U., Hermo Huguet, M., & Lucio Carrasco, F. (2021). Verified Model Checking for Conjunctive Positive Logic.

Citación estilo Chicago

Abuin Yepes, Alex, Unai Díaz de Cerio, Montserrat Hermo Huguet, y Francisca Lucio Carrasco. Verified Model Checking for Conjunctive Positive Logic. 2021.

Cita MLA

Abuin Yepes, Alex, Unai Díaz de Cerio, Montserrat Hermo Huguet, y Francisca Lucio Carrasco. Verified Model Checking for Conjunctive Positive Logic. 2021.