TY - GEN

AU - Rossi, Sabina

TI - Formal Aspects of Component Software: Model Checking Adaptive Multilevel Service Compositions

PB - Springer Berlin Heidelberg

SN - 0302-9743

SN - 1611-3349

PY - 2012

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -