A Semantic Theory for Heterogeneous System Design (2000)

by Rance Cleaveland , Gerald Lüttgen
Venue:In FSTTCS 2000, vol. 1974 of LNCS
Citations:9 - 3 self