Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark

By clibrary on Mon, 06/23/2025 - 20:13
Author

E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen

Publisher

Springer

Subject

Computer Science

Year

1995

Vol/Edition

1019

ISBN

9783540485094

URL
http://dx.doi.org/10.1007/3-540-60630-0