Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

• Authors:

• Werner Damm;Ernst-Rüdiger Olderog

• Affiliations:

• -;-

• Venue:
• FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
• Year:
• 2002