Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees
2001 ◽
Vol 11
(08)
◽
pp. 2245-2253
2016 ◽
Vol 225
(1)
◽
pp. 187-196
◽
Keyword(s):
2017 ◽
Vol 7
(3)
◽
pp. 248-254
2007 ◽
Vol 32
(2)
◽
pp. 773-779
◽
2012 ◽
Vol 17
(2)
◽
pp. 992-1002
◽
2012 ◽
Vol 3
(2)
◽
pp. 143-154
◽
2006 ◽
Vol 161
◽
pp. 340-343
◽
2001 ◽
Vol 11
(08)
◽
pp. 2217-2226
◽