Masarykova univerzita
Nahlášení neoprávněně vloženého souboru
česky
BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Is there a best Büchi automaton for explicit model checking?. Online. In Neha Rungta and Oksana Tkachuk.
2014 International SPIN Symposium on Model Checking of Software
. New York: ACM, 2014. s. 68-76. ISBN 978-1-4503-2452-6. Dostupné z: https://dx.doi.org/10.1145/2632362.2632377. [citováno 2024-04-23]
Vyberte, kterého ze souborů se neoprávněné vložení týká.
/publication/1196458/spin2014preprint.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.