id: 50015959
dt: j
an: 50015959
au: Dong, Jin Song; Hao, Ping; Qin, Shengchao; Sun, Jun; Yi, Wang
ti: Timed automata patterns
so: IEEE Trans. Software Eng. 34, No. 6, 844-859 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/TSE.2008.52