Ing. Lenka Turoňová

Publications

2018HOLÍK Lukáš and TUROŇOVÁ Lenka. Towards Smaller Invariants for Proving Coverability. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018, pp. 109-116. ISBN 978-3-319-74727-9.

Show all publications

Your IPv4 address: 34.238.189.171
Switch to https