Cita APA (7a ed.)

Argón, P., & Roux, O. (1998). Some Issues in Using Formal Methods for the Development of Reactive Systems.

Cita Chicago Style (17a ed.)

Argón, Pablo, y Olivier Roux. Some Issues in Using Formal Methods for the Development of Reactive Systems. 1998.

Cita MLA (8a ed.)

Argón, Pablo, y Olivier Roux. Some Issues in Using Formal Methods for the Development of Reactive Systems. 1998.