Search

Record Citations

APA Citation

Järvinen, H., & Kurki-Suonio, R. (1990). The DisCo language and temporal logic of actions. Tampere University of Technology.

Chicago Style Citation

Järvinen, Hannu-Matti, and Reino Kurki-Suonio. The DisCo Language and Temporal Logic of Actions. Tampere: Tampere University of Technology, 1990.

MLA Citation

Järvinen, Hannu-Matti, and Reino Kurki-Suonio. The DisCo Language and Temporal Logic of Actions. Tampere University of Technology, 1990.

Harvard Style Citation

Järvinen, H. & Kurki-Suonio, R. 1990. The DisCo language and temporal logic of actions. Tampere: Tampere University of Technology.

Remember to check citations for accuracy before including them in your work.