Towards automated synthesis of concurrent control programs / Grzegorz Bocewicz, Krzysztof Bzdyra, Zbigniew Banaszak.
Rodzaj materiału:
Artykuł
W: Applied Computer Science. - 2011, T. 7, nr 2, s. 7-20
Brak egzemplarzy dla tego rekordu
Artykuł
W: Applied Computer Science. - 2011, T. 7, nr 2, s. 7-20