6. FTRTFT 2000:
Pune,
India
Mathai Joseph (Ed.):
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings.
Lecture Notes in Computer Science 1926 Springer 2000, ISBN 3-540-41055-4 BibTeX
@proceedings{DBLP:conf/ftrtft/2000,
editor = {Mathai Joseph},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th
International Symposium, FTRTFT 2000, Pune, India, September
20-22, 2000, Proceedings},
booktitle = {FTRTFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1926},
year = {2000},
isbn = {3-540-41055-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
Model Checking
Fault Tolerance
Scheduling
Validation
Refinement
Verification
Logic and Automata
Copyright © Sat May 16 23:13:00 2009
by Michael Ley (ley@uni-trier.de)