TY  - GEN
AU  - BOCEWICZ,Grzegorz, Politechnika Koszalińska - Wydział Elektroniki i Informatyki
AU  - BANASZAK,Zbigniew, Politechnika Koszalińska - Wydział Elektroniki i Informatyki
AU  - BZDYRA,Krzysztof, Politechnika Koszalińska - Wydział Elektroniki i Informatyki
TI  - Towards automated synthesis of concurrent control programs
ER  -