00601nam a2200133Ia 4500008004100000020002200041041001200063100003700075245005000112260003200162440003800194650002100232650021400253231221s9999    xx            000 0 und d  a978-3-642-24310-3  aEnglish  aUli Fahrenberg, Stavros Tripakis 0aFormal Modeling and Analysis of Timed Systems  c2011bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aLogics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; Algorithm Analysis and Problem Complexity