000			00486nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540489849
100			_aHans Langmaack, Willem-Paul de Roever, Jan Vytopil
245		0	_aFormal Techniques in Real-Time and Fault-Tolerant Systems
250			_a1994
260			_bSpringer Berlin Heidelberg _c1994
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-58468-4
999			_c26717 _d26717