Author Details
Ryabukhin, D. A.
Issue | Section | Title | File |
Vol 50, No 7 (2016) | Article | On the expressiveness of the approach to constructing PLC-programs by LTL-specification | |
Vol 51, No 7 (2017) | Article | Construction of CFC-Programs by LTL-Specification |