Your selection contains 1 outcome. Edit selection.
Filter publications

    2020

    1. Symbiotic 7: Integration of Predator and More (Competition Contribution)
      CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK and Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, p. 413-417. ISBN 978-3-030-45236-0. Available from: https://dx.doi.org/10.1007/978-3-030-45237-7_31.
      More: https://is.muni.cz/publication/1649136/en
Display details
Displayed: 24/7/2024 19:25