Kansainvälisten e-aineistojen hakuun on toistaiseksi kirjauduttava, jotta hakuja voi tehdä.

Haku

Tietueen sitaatit

APA-viite

Luukkainen, M. (2003). A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems. University of Helsinki.

Chicago-tyylinen lähdeviittaus

Luukkainen, Matti. A Process Algebraic Reduction Strategy for Automata Theoretic Verification of Untimed and Timed Concurrent Systems. Helsinki: University of Helsinki, 2003.

MLA-viite

Luukkainen, Matti. A Process Algebraic Reduction Strategy for Automata Theoretic Verification of Untimed and Timed Concurrent Systems. University of Helsinki, 2003.

Harvard-tyylinen lähdeviittaus

Luukkainen, M. 2003. A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems. Helsinki: University of Helsinki.

Muista tarkistaa viitteiden oikeellisuus, ennen kuin käytät niitä tekstissäsi.