%0 Journal Article %1 journals/corr/abs-1809-07177 %A Dai, Liyun %A Chen, Taolue %A Liu, Zhiming %A Xia, Bican %A Zhan, Naijun %A Larsen, Kim G. %D 2018 %J CoRR %K dblp %T Parameter Synthesis Problems for one parametric clock Timed Automata. %U http://dblp.uni-trier.de/db/journals/corr/corr1809.html#abs-1809-07177 %V abs/1809.07177

@article{journals/corr/abs-1809-07177, added-at = {2018-10-15T00:00:00.000+0200}, author = {Dai, Liyun and Chen, Taolue and Liu, Zhiming and Xia, Bican and Zhan, Naijun and Larsen, Kim G.}, biburl = {https://www.bibsonomy.org/bibtex/2756ab1958587da3f4bc15c80351efaa2/dblp}, ee = {http://arxiv.org/abs/1809.07177}, interhash = {1b71722afd943030ca4c42ae9f4a3c00}, intrahash = {756ab1958587da3f4bc15c80351efaa2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-10-16T11:37:48.000+0200}, title = {Parameter Synthesis Problems for one parametric clock Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1809.html#abs-1809-07177}, volume = {abs/1809.07177}, year = 2018 }