The Heterogeneous Tool Set – HETS (2007)

by T Mossakowski, C Maeder, K Lüttich
Venue:In Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007