Graf,Susanne (ed.) Tools and algorithms for the construction and analysis of systems / Graf,Susanne (ed.). - 6th International Co - Berlin: Springer, 2000. - xiv,552p;23cm - Lecture notes in computer science-No-1795579 . Includes bibliographical references. ISBN: 354067282657 Dewey Class. No.: 004 LEC