%0 Conference Paper %1 conf/icfem/WangW0Y17 %A Wang, Yuwei %A Wen, Yunqing %A Li, Guoqiang %A Yuen, Shoji %B ICFEM %D 2017 %E Duan, Zhenhua %E Ong, Luke %I Springer %K dblp %P 396-412 %T Nested Timed Automata with Diagonal Constraints. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2017.html#WangW0Y17 %V 10610 %@ 978-3-319-68690-5

@inproceedings{conf/icfem/WangW0Y17, added-at = {2017-10-18T00:00:00.000+0200}, author = {Wang, Yuwei and Wen, Yunqing and Li, Guoqiang and Yuen, Shoji}, biburl = {https://www.bibsonomy.org/bibtex/2ecd8cf5b1ebcbace363bf793774e51a8/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2017}, editor = {Duan, Zhenhua and Ong, Luke}, ee = {https://doi.org/10.1007/978-3-319-68690-5_24}, interhash = {6e72921e8d8decc0a533a44b8e842101}, intrahash = {ecd8cf5b1ebcbace363bf793774e51a8}, isbn = {978-3-319-68690-5}, keywords = {dblp}, pages = {396-412}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:04:22.000+0200}, title = {Nested Timed Automata with Diagonal Constraints.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2017.html#WangW0Y17}, volume = 10610, year = 2017 }