TY  - RPRT
TI  - fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
AU  - Konstantin Chukharev
AU  - Daniil Chivilikhin
PY  - 2020
UR  - https://arxiv.org/abs/1907.03285
ID  - 1907.03285
ER  -