Cita APA (7a ed.)

Bui-Xuan, B., Krasnopol, F., Monasson, B., & Sznajder, N. (2026). Model checking with temporal graphs and their derivative.

Cita Chicago Style (17a ed.)

Bui-Xuan, Binh-Minh, Florent Krasnopol, Bruno Monasson, y Nathalie Sznajder. Model Checking with Temporal Graphs and Their Derivative. 2026.

Cita MLA (9a ed.)

Bui-Xuan, Binh-Minh, et al. Model Checking with Temporal Graphs and Their Derivative. 2026.