TY - RPRT TI - Bisimulation equivalence of DAE systems AU - Noorma Yulia Megawati AU - Arjan van der Schaft PY - 2016 UR - https://arxiv.org/abs/1512.04689 ID - 1512.04689 ER -