5342419
9783540610427
Margaria, Tiziana is the author of 'Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, Tacas '96, Passau, Germany, March 27-29, 1996, Proceedings', published 1996 under ISBN 9783540610427 and ISBN 3540610421.
[read more]