@BOOK{ Book!D - 90061236,
AUTHOR = " Uli Fahrenberg, Stavros Tripakis (eds.).",
TITLE = "Formal modeling and analysis of timed systems :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.",
URL = "/book/90061236/Formal-modeling-and-analysis-of-timed-systems/"}