Cita APA

Cuartero Gómez, F., Frutos Escrig, D. D., & Valero Ruiz, V. (1997). A sound and complete proof system for probabilistic processes.

Citación estilo Chicago

Cuartero Gómez, Fernando, David De Frutos Escrig, y Valentín Valero Ruiz. A Sound and Complete Proof System for Probabilistic Processes. 1997.

Cita MLA

Cuartero Gómez, Fernando, David De Frutos Escrig, y Valentín Valero Ruiz. A Sound and Complete Proof System for Probabilistic Processes. 1997.