"Systems Architecture, Design, Engineering, and Verification - The Practice ..."

Dahlia Malkhi et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics