5342418
9783540643562
Steffen, B. is the author of 'Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon', published 1998 under ISBN 9783540643562 and ISBN 3540643567.
[read more]