TY -
GEN
AU - Calinescu, Radu
AU - Kikuchi, Shinji
TI -
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: Formal Methods @ Runtime
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2011
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -