Showing 1 - 1 results of 1 for search 'Ilina Stoilkovska', query time: 0.02s
Refine Results
-
1
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker by Igor Konnov, Marijana Lazić, Ilina Stoilkovska, Josef Widder
Published 2023-01-01
Article