Cita APA (7a ed.)

Rosner, N., & Frias, M. (2014). Parallel bounded verification of alloy models by tranScoping.

Cita Chicago Style (17a ed.)

Rosner, Nicolás, y Marcelo Frias. Parallel Bounded Verification of Alloy Models by TranScoping. 2014.

Cita MLA (8a ed.)

Rosner, Nicolás, y Marcelo Frias. Parallel Bounded Verification of Alloy Models by TranScoping. 2014.

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