000			00606nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319229751
100			_aSriram Sankaranarayanan, Enrico Vicario
245		0	_aFormal Modeling and Analysis of Timed Systems
260			_bSpringer _c2015
440			_aLecture Notes in Computer Science
653			_aComputation by Abstract Devices; Logics and Meanings of Programs; Software Engineering; Computer Applications; Mathematical Logic and Formal Languages
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-22974-4
942			_cEB
999			_c42772 _d42772