Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
9 results · clear filters Sort: newest oldest name
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings (FORMATS, FTRTFT)Computer and information sciencese113shv
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencess109qmc
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencese103jf8
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencese103jea
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencese103jdc
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencese103jce
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencese103jbg
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1992, FTRTFT)Computer and information sciencese103jaj
- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)Computer and information sciencese103j9m