000			00710nam a2200241Ia 4500
999			_c21290 _d21290
008			161214s9999 xx 000 0 und d
020			_a9781598293579 _c(hbk)
082			_a004.33 _bKAY
100			_aKaynar, Dilsun K.
245		0	_aTheory of timed I/O automata
260			_aSan Rafael: _bMorgan & Claypool Publishers, _c2006
300			_axi, 101 p.; _bill.: _c24 cm.
365			_aINR _b1395.00
490			_aSynthesis lectures on computer science
650			_aComputer simulation
650			_aFormal modeling
650			_aReal-time control
650			_aReal-time data processing
650			_aTimed systems
700			_aLynch, Nancy
700			_aSegala, Roberto
700			_aVaandrager, Frits
942			_2ddc _cBK