000			00451nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540487784
100			_aJost-Pieter Katoen
245		0	_aFormal Methods for Real-Time and Probabilistic Systems
250			_a1999
260			_bSpringer Berlin Heidelberg _c1999
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-48778-6
999			_c25354 _d25354