Cita APA (7a ed.)

Serbinowska, S. S., & Johnson, T. T. (2022). BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.

Cita Chicago Style (17a ed.)

Serbinowska, Serena S., y Taylor T. Johnson. BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. 2022.

Cita MLA (9a ed.)

Serbinowska, Serena S., y Taylor T. Johnson. BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. 2022.

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