DMCA

Heterogeneous Logical Environments for distributed specifications

by Till Mossakowski , Andrzej Tarlecki
Citations:7 - 3 self