Masarykova univerzita

Nahlášení neoprávněně vloženého souboru

česky

BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, roč. 43, č. 2, s. 124-163. ISSN 0925-9856. doi:10.1007/s10703-012-0166-0.

Vyberte, kterého ze souborů se neoprávněné vložení týká.



kontrolní kód 
Pro odeslání zprávy o vložení neoprávněného souboru je nutné vyplnit Váš e-mail, zdůvodnění a kontrolní kód.