TY  - BOOK
A1  - Yassine Lakhnech, Sergio Yovine )Eds.(
TI  - 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
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101387235
UR  /book/101387235/Formal-techniques-modelling-and-analysis-of-timed/
ER  -