000 00279nam a2200109 4500
008 160616s 000 0
245 _aLogics and models of concurrent systems
100 _aApt, Krzysztof R., Ed.
500 _aD6,8(B) M522
942 _cBK
_2BK679
080 _a681.3.06 APT
999 _c679
_d679