Petr Osička

Z ApolloWiki

Verze z 27. 5. 2022, 16:12, kterou vytvořil Masopust (diskuse | příspěvky)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

Přejít na:navigace, hledání

Mgr. Petr Osička, Ph.D.

Publications

Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification

Jiří Balun, Petr Osička, Tomáš Masopust
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023

All publications

Homepage
DBLP
petr.osicka@upol.cz
5.072
Discrete-Event Systems and Theoretical Computer Science Research Group

Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=Petr_Osička&oldid=3844“