%0 Conference Paper %1 conf/ispw/ZhouGZ14 %A Zhou, Yu %A Ge, Jidong %A Zhang, Pengcheng %B ICSSP %D 2014 %E Zhang, He %E Huang, LiGuo %E Richardson, Ita %I ACM %K dblp %P 144-148 %T Hierarchical timed automata based verification of dynamic evolution process in open environments. %U http://dblp.uni-trier.de/db/conf/ispw/icssp2014.html#ZhouGZ14 %@ 978-1-4503-2754-1

@inproceedings{conf/ispw/ZhouGZ14, added-at = {2020-03-27T00:00:00.000+0100}, author = {Zhou, Yu and Ge, Jidong and Zhang, Pengcheng}, biburl = {https://www.bibsonomy.org/bibtex/25dfe03855d1ae471e2eb2816ac512602/dblp}, booktitle = {ICSSP}, crossref = {conf/ispw/2014}, editor = {Zhang, He and Huang, LiGuo and Richardson, Ita}, ee = {https://doi.org/10.1145/2600821.2600838}, interhash = {436c8b7de59b92337ce4cfdbdf80456c}, intrahash = {5dfe03855d1ae471e2eb2816ac512602}, isbn = {978-1-4503-2754-1}, keywords = {dblp}, pages = {144-148}, publisher = {ACM}, timestamp = {2024-04-09T23:30:50.000+0200}, title = {Hierarchical timed automata based verification of dynamic evolution process in open environments.}, url = {http://dblp.uni-trier.de/db/conf/ispw/icssp2014.html#ZhouGZ14}, year = 2014 }