TY -
GEN
AU - Mauro, Jacopo
AU - Zavattaro, Gianluigi
TI -
Theory and Practice of Formal Methods: On the Expressiveness of Synchronization in Component Deployment
PB - Springer International Publishing
SN - 0302-9743
SN - 1611-3349
PY - 2016
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -