The Heterogeneous Tool Set, HETS (2007)

Cached

Download Links

by Till Mossakowski , Christian Maeder , Klaus Lüttich
Venue:IN TACAS 2007, LNCS 4424
Citations:10 - 3 self