000			00953nam a2200181Ia 4500
008			140223b2006 xxu||||| |||| 00| 0 eng d
020			_a9783540002963 _c0.00
082			_a004.21 _bSCH
100			_aSchneider, Klaus
245			_aVerification of Reactive Systems: Formal Methods and Algorithms
260			_aNew York _bSpringer Berlin Heidelberg _c2006
300			_a600p
440			_aTexts in Theoretical Computer Science An EATCS
500			_aIntroduction A Unified Specification Language Fix point Calculi Finite Automata Temporal Logics Predicate Logic Conclusions Binary Decision Diagrams Local Model Checking and Satisfiability Checking for the µ-Calculus Reduction of Structures
600			_aComputer Engineering
890			_aUSA
995			_ASCH _B005833 _CCEE-PG0 _D3038.48 _E0 _F049 _G94320 _H0 _I0.00 _J4106.06 26% _L20070704 _M12 _UC _W20070822 _XHimanshu Book Co. _ZReference
999			_c49234 _d49234