Tietueen sitaatit
APA-viiteLuukkainen, M. (2003). A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems. University of Helsinki.
Chicago-tyylinen lähdeviittausLuukkainen, Matti. A Process Algebraic Reduction Strategy for Automata Theoretic Verification of Untimed and Timed Concurrent Systems. Helsinki: University of Helsinki, 2003.
MLA-viiteLuukkainen, Matti. A Process Algebraic Reduction Strategy for Automata Theoretic Verification of Untimed and Timed Concurrent Systems. University of Helsinki, 2003.
Harvard-tyylinen lähdeviittausLuukkainen, 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.