Petr Osička/Publications

Petr Osička's publications

Petr Osička's publications

Petr Osička
DBLP

Conference papers

Conference papers

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

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

Journal articles

Conference papers

Books

Informal publications