Showing 1 - 2 results of 2 for search 'Samuel Pastva', query time: 0.02s
Refine Results
-
1
Parallel One-Step Control of Parametrised Boolean Networks by Luboš Brim, Samuel Pastva, David Šafránek, Eva Šmijáková
Published 2021-03-01
Article -
2
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs by Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek
Published 2022-03-01
Article