Události

16th International Symposium on Automated Technology for Verification and Analysis

Los Angeles 7.-10.10.2018

Vybrané publikace

2018HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus a VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, s. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743.

Vaše IPv4 adresa: 54.161.118.57
Přepnout na https