| Shelfclass_id | 3.A |
| Sortkey | FTRTFT |
| Authors | Editors: Hans Langmaack, Willem-Paul de Roever, Jan Vytopil |
| Title | FTRTFT 1994: 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 |
| Publisher | Springer-Verlag |
| Year | 1994 |
| Languages | eng |
| Isbn | 3540584684, 9783540584681 |
| Series | Lecture Notes in Computer Science |
| Volume | 863 |
| Issn | 0302-9743 |
| Description | xiv, 787 p. 24 cm |
| Record date | 20110208 |
| Location | New York |
| Keywords | Fault-tolerant computer systems, Real time processing (Computers), Conference proceedings, Real time, Fault tolerance |