Výpis publikací

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 a 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, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.

   URL

   Název anglicky: Symbiotic 7: Integration of Predator and More (Competition Contribution)
   RIV/00216224:14330/20:00114113 Stať ve sborníku. angličtina. Německo.
   Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika)
   Klíčová slova anglicky: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:25.

   Podrobněji: https://is.muni.cz/publication/1649136/cs