Haku

Tietueen sitaatit

APA-viite

Çeliku, O. (2006). Mechanized reasoning for dually-nondeterministic and probabilistic programs. Turku Centre for Computer Science.

Chicago-tyylinen lähdeviittaus

Çeliku, Orieta. Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs. Turku: Turku Centre for Computer Science, 2006.

MLA-viite

Çeliku, Orieta. Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs. Turku Centre for Computer Science, 2006.

Harvard-tyylinen lähdeviittaus

Çeliku, O. 2006. Mechanized reasoning for dually-nondeterministic and probabilistic programs. Turku: Turku Centre for Computer Science.

Muista tarkistaa viitteiden oikeellisuus, ennen kuin käytät niitä tekstissäsi.
Kysy apua / Ask for help

Sisältöä ei voida näyttää

Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.

Evästeasetukset