000 00297nam a2200121Ia 4500
001 1062
008 240324s9999 xx 000 0 eng
020 _a9783540329220
082 _a004.6
_bA U F
100 _aBenedikt Bolling
245 0 _aFormal models of communicating systems
999 _c4721
_d4721