Sajed Miremadi, Zhennan Fei, Knut Ã…kesson, Bengt Lennartson. Symbolic Representation and Computation of Timed Discrete-Event Systems. IEEE T. Automation Science and Engineering, 11(1):6-19, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.