@BOOK{ Book!D - 101387067,
AUTHOR = "Kim G. Larsen, Peter Niebert )eds.(",
TITLE = "Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots",
URL = "/book/101387067/Formal-modeling-and-analysis-of-timed-systems-fi/"}