Cita APA

Gaintzarain Ibarmia, J. (2012). Invariant-free deduction systems for temporal logic.

Citación estilo Chicago

Gaintzarain Ibarmia, José. Invariant-free Deduction Systems for Temporal Logic. 2012.

Cita MLA

Gaintzarain Ibarmia, José. Invariant-free Deduction Systems for Temporal Logic. 2012.

Precaución: Estas citas no son 100% exactas.