000			00527nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540485094
100			_aEd Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
245		0	_aTools and Algorithms for the Construction and Analysis of Systems
250			_a1995
260			_bSpringer Berlin Heidelberg _c1995
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-60630-0
999			_c26248 _d26248