Cita APA

Burkart, O. (1997). Automatic verification of sequential infinite-state processes. Springer.

Citación estilo Chicago

Burkart, Olaf. Automatic Verification of Sequential Infinite-state Processes. Berlin ; New York: Springer, 1997.

Cita MLA

Burkart, Olaf. Automatic Verification of Sequential Infinite-state Processes. Berlin ; New York: Springer, 1997.

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