000			00689nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780471704492 _c(hbk)
082			_223 _a621.381548 _bYOE
100			_aYoeli, Michael
245		0	_aVerification of systems and circuits using LOTOS, Petri Nets, and CCS
260			_aHoboken: _bWiley-Interscience, _c2008
300			_axv, 231 p.; _bill.: _c25 cm.
490			_aWiley series on parallel and distributed computing
650			_aComputer software -- Verification
650			_aIntegrated circuits -- Verification
650			_aLOTOS (Computer program language)
650			_aPetri nets
700			_aKol, Rakefet
942			_2ddc _cBK
999			_c16169 _d16169