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. Dostupné z: https://dx.doi.org/10.1007/s10703-012-0166-0.
Vyberte, kterého ze souborů se neoprávněné vložení týká.
/publication/1076453/main.pdf
Váš e-mail:
Zdůvodnění:
Zadejte tento
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.