![book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre](/covers/files_170/1133000/a8be1a033d5e505afdac8191fd9cdddb-d.jpg)
- Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
- Language: English
- Year: 2004
![book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre](/covers/files_170/349000/82B7F22714210CF0F9EEE16A6BDB235C-d.jpg)
- Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
- Language: English
- Year: 2004
![book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre](/covers/files_170/111000/8036869ee513c87676a7187eb210cd3d-d.jpg)
- Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
- Language: English
- Year: 2004