000			00743nam a2200229Ia 4500
008			191130s2004##################000#0#eng##
020			_a9783540002960
022			_a2003066407
040			_aACL _cACL
082			_a004.21 SCH
100			_aSchneider, Klaus
245			_aVerification of reactive systems : formal methods and algorithms _cKlaus Schneider
260			_aBerlin _bSpringer-Verlag _cc2004
300			_axiv, 600 p. : ill. ; 25 cm
500			_aIncludes bibliographical references (p. [561]-589) and index
650			_aComputer algorithms
650			_aComputer systems - Verification
650			_aFormal methods (Computer science)
990			_a00e95d0eac10000c4805d01b8e62b7d8
991			_a16213
999			_c88523 _d88523