TY - CPAPER
AU - James Ferlez
AU - Rance Cleaveland
AU - Steven Marcus
BT - 2018 IEEE Conference on Decision and Control (CDC)
LA - eng
PB - IEEE
PY - 2018
T2 - 2018 IEEE Conference on Decision and Control (CDC)
TI - Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees
ER -