APA

Manna Z., Pnueli A., . (1992). The temporal logic of reactive and concurrent systems. New York: Springer.

Chicago

Manna Zohar, Pnueli Amir, . 1992. The temporal logic of reactive and concurrent systems. New York: Springer.

Harvard

Manna Z., Pnueli A., . (1992). The temporal logic of reactive and concurrent systems. New York: Springer.

MLA

Manna Zohar, Pnueli Amir, . The temporal logic of reactive and concurrent systems. New York: Springer. 1992.