Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings - International Symposium on Formal Techniques in Real-time and Fault-Tolerant Systems 2000 : Pune, Indie); Joseph, M., 1943- (Berlin : Springer, 2000)
Keywords: výpočetní technika; computer science; sborníky konferencí; proceedings of conferences