Statistics
Publications
2
Citations
51
H-Index
2
Active since
2013
Affiliations
Artur Męski is an author at University of Siedlce specializing in bounded model checking, model checking, and temporal logic.
Publications per year
2013–2017
2
2
Artur Męski, Wojciech Penczek, Maciej Szreter et al. · Autonomous Agents and Multi-Agent Systems · 2013 · 37 citations · Full text
1–2 of 2