| نویسندگان | Khadijeh Keshvardoost, Bartek Klin, SlawomirLasota, Joanna Ochermiak, and Szymon Toruczyk b |
|---|---|
| نشریه | Logical Methods in Computer Science |
| نوع مقاله | Full Paper |
| تاریخ انتشار | 2021/12/11 |
| رتبه نشریه | ISI |
| نوع نشریه | الکترونیکی |
| کشور محل چاپ | آلمان |
چکیده مقاله