000			01119nmm a22003375u 4500
999			_c15336 _d15336
005			20200825145348.0
008			100301s2008 xx j eng d
020			_a9781402084201
050	0	4	_aTK7874 _bG64 2008
100	1		_aGöessel, Michael.
245	1	0	_aNew Methods of Concurrent Checking _h[electronic resource] / _cby Michael Göessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld.
260			_aDordrecht : _bSpringer Science+Business Media B.V., _c2008.
300			_bv.: digital
490	0		_aFrontiers In Electronic Testing, _v42 _x0929-1296
650		0	_aEngineering
650		0	_aComputer simulation
650		0	_aSystems engineering
650	1	4	_aEngineering
650	2	4	_aCircuits and Systems
650	2	4	_aSimulation and Modeling
700	1		_aOcheretny, Vitaly.
700	1		_aSogomonyan, Egor.
700	1		_aMarienfeld, Daniel.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttp://dx.doi.org/10.1007/978-1-4020-8420-1
942			_2lcc _cLIE