000			00587nam a2200157Ia 4500
999			_c5984 _d5984
008			161214s9999 xx 000 0 und d
020			_a9783540236108 _cpbk
082			_a004 _bWAN
100			_aWang, Farn
245		0	_aAutomated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
260			_aBerlin: _bSpringer, _c2004
300			_axii, 506 p.; _bill.: _c23 cm.
365			_aINR _b3635.20
440			_v3299
490			_aLecture notes in computer science
650			_aAutomatic theorem proving
650			_amodel-checking theory
650			_atheorem-proving theory
650			_astate-space reduction
650			_aMachine Theory
650			_aComputer Literacy
650			_aparametric analysis
650			_aUML
650			_aPetri nets
650			_areal-time systems
942			_2ddc _cBK