7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems. FTRTFT 2002

BIB
01 / 2002
3-540-44165-4
book
Springer-Verlag
Lecture Notes in Computer Science 2469
Werner Damm; Ernst-Rüdiger Olderog