@BOOK{ Book!D - 101387235,
AUTHOR = "Yassine Lakhnech, Sergio Yovine )Eds.(",
TITLE = "Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing",
URL = "/book/101387235/Formal-techniques-modelling-and-analysis-of-timed/"}