Login / Signup
Jakub Polácek
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Qualitative Models
Biological Systems
Genetic Regulatory Networks
Formal Analysis
Top Venues
ICFEM
</>
Publications
</>
Nikola Benes
,
Lubos Brim
,
Samuel Pastva
,
Jakub Polácek
,
David Safránek
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.
ICFEM
(2019)