Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
- Author
- Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 1994
- Page
- 787
- ISBN
- 3540584684,9783540584681
- File Type
- djvu
- File Size
- 6.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot