Hänvisningar gällande denna post
APA-referensAaltonen, T., & Pitkänen, R. (1999). Verifying safety by combining joint actions with a process-algebraic approach. Tampere University of Technology.
Chicago-stil citatAaltonen, Timo, och Risto Pitkänen. Verifying Safety by Combining Joint Actions with a Process-algebraic Approach. Tampere: Tampere University of Technology, 1999.
MLA-referensAaltonen, Timo, och Risto Pitkänen. Verifying Safety by Combining Joint Actions with a Process-algebraic Approach. Tampere University of Technology, 1999.
Harvard-stil citatAaltonen, T. & Pitkänen, R. 1999. Verifying safety by combining joint actions with a process-algebraic approach. Tampere: Tampere University of Technology.
Kom ihåg att kontrollera att källhänvisningarna är korrekta innan du använder dem i din text.