The Heterogeneous Tool Set (2007)

by Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl
Venue:of Lecture Notes in Computer Science