- Tytuł:
- Towards automated synthesis of concurrent control programs
- Autorzy:
-
Bocewicz, G.
Bzdyra, K.
Banaszak, Z. - Data publikacji:
- 2011
- Wydawca:
- Polskie Towarzystwo Promocji Wiedzy
- Tematy:
-
automated synthesis
automatic modeling
concurrent control programs - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł