Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu, Ling Shi, Étienne André. Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Transactions on Software Engineering Methodology, 22(1):3, 2013. [doi]
@article{00010DLSA13,
title = {Modeling and verifying hierarchical real-time systems using stateful timed CSP},
author = {Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong and Yan Liu and Ling Shi and Étienne André},
year = {2013},
doi = {10.1145/2430536.2430537},
url = {http://doi.acm.org/10.1145/2430536.2430537},
researchr = {https://researchr.org/publication/00010DLSA13},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {22},
number = {1},
pages = {3},
}