The Heterogeneous Tool Set (2007)

by T Mossakowski, C Maeder, K Lüttich
Venue:In Orna Grumberg and Michael Huth, editors, TACAS 2007, volume 4424 of LNCS