TY -
GEN
AU - Schätz, Bernhard
AU - Giese, Holger
TI -
Model-Based Engineering of Embedded Real-Time Systems: 1 Models of Reactive Systems : Communication, Concurrency, and Causality
Communication, Concurrency, and Causality
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2010
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -