1. FTRTFT 1988:
Warwick,
UK
Mathai Joseph (Ed.):
Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988.
Lecture Notes in Computer Science 331 Springer 1988, ISBN 3-540-50302-1 BibTeX
@proceedings{DBLP:conf/ftrtft/1988,
editor = {Mathai Joseph},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
booktitle = {FTRTFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {331},
year = {1988},
isbn = {3-540-50302-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Session 1
Invited Talk
Session 2
Session 3
Invited Talk
Invited Talk
Session 4
Copyright © Sat May 16 23:13:00 2009
by Michael Ley (ley@uni-trier.de)