Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
FIT, UITS – vědecký pracovník
Odeslat VUT zprávu
2024
DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024. s. 188-206. ISBN: 978-3-031-57245-6.Detail | WWW | Plný text v Digitální knihovně
*) Citace publikací se generují jednou za 24 hodin.