| Authors | Khadijeh Keshvardoost, Bartek Klin, SlawomirLasota, Joanna Ochermiak, and Szymon Toruczyk b |
|---|---|
| Journal | Logical Methods in Computer Science |
| Page number | 14:1-14:19 |
| Paper Type | Full Paper |
| Published At | Dec. 11, 2019 |
| Journal Grade | ISI |
| Journal Type | Typographic |
| Journal Country | Germany |
Abstract