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]
@article{MiremadiFAL14,
title = {Symbolic Representation and Computation of Timed Discrete-Event Systems},
author = {Sajed Miremadi and Zhennan Fei and Knut Åkesson and Bengt Lennartson},
year = {2014},
doi = {10.1109/TASE.2013.2282895},
url = {http://dx.doi.org/10.1109/TASE.2013.2282895},
researchr = {https://researchr.org/publication/MiremadiFAL14},
cites = {0},
citedby = {0},
journal = {IEEE T. Automation Science and Engineering},
volume = {11},
number = {1},
pages = {6-19},
}