@book{2002, Title = {7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems. FTRTFT 2002}, Year = {2002}, Month = {01}, Editor = {Werner Damm; Ernst-RĂ¼diger Olderog}, Publisher = {Springer-Verlag}, Series = {Lecture Notes in Computer Science 2469}, Address = {Berlin, Heidelberg}, Isbn = {3-540-44165-4}, type = {book} } @COMMENT{Bibtex file generated on }