000 00581 a2200265 4500
001 50956
020 _a3-540-51156-30
041 _aeng
080 _a681.327.8:519.28 Lis
245 _aSynthesizing synchronous systems by static scheduling in space-time
250 _a
260 _aBerlin
260 _bSpringer-Verlag,
260 _c1989
300 _avi,262 p.
300 _c24 cm
490 _a
100 _aLisper, Bjorn
700 _a
650 _a
650 _aSystem analysis
650 _aSpace and time-Mathematical models
942 _cBK
942 _2UDC
999 _c80220
_d80220