Bisimulation equivalence of differential-algebraic systems
2016 ◽
Vol 91
(1)
◽
pp. 45-56
◽
2014 ◽
Vol 36
(5)
◽
pp. 967-976
◽
2021 ◽
Vol 182
◽
pp. 495-513
2005 ◽
Vol 22
(2-3)
◽
pp. 333-353
◽
2011 ◽
Vol 3
(5)
◽
pp. 604-618
◽