00870naa a2200169 i 45000010005000000030009000050050017000140080039000310400021000701000145000912450122002367000125003587000124004837730065006079420013006729990015006859794KOSZ 00520180426101201.0151212s2011    pl  n  f     |000  0pol  cBPKdKOSZ 005/EG1 aBOCEWICZ, Grzegorz.d2006 - .bPolitechnika Koszalińska - Wydział Elektroniki i Informatyki,cZakład Podstaw Informatyki i Zarządzania10aTowards automated synthesis of concurrent control programs /cGrzegorz Bocewicz, Krzysztof Bzdyra, Zbigniew Banaszak.1 aBANASZAK, Zbigniew.bPolitechnika Koszalińska - Wydział Elektroniki i Informatyki,cKatedra Telekomunikacjid2003 - .1 aBZDYRA, Krzysztof.bPolitechnika Koszalińska - Wydział Elektroniki i Informatyki,cKatedra Telekomunikacjid2004 - .0 iW :tApplied Computer Science. - g2011, T. 7, nr 2, s. 7-20  cART2UKD  c9794d9794