%0 Conference Paper %1 conf/ictac/ThaiH04 %A Thai, Pham Hong %A Hung, Dang Van %B ICTAC %D 2004 %E Liu, Zhiming %E Araki, Keijiro %I Springer %K dblp %P 295-309 %T Verifying Linear Duration Constraints of Timed Automata. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2004.html#ThaiH04 %V 3407 %@ 3-540-25304-1

@inproceedings{conf/ictac/ThaiH04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Thai, Pham Hong and Hung, Dang Van}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24ee446d0156889ccb8322e39de092a7b/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2004}, editor = {Liu, Zhiming and Araki, Keijiro}, ee = {https://doi.org/10.1007/978-3-540-31862-0_22}, interhash = {5945e52ff97f7011fb760f2f0a817e47}, intrahash = {4ee446d0156889ccb8322e39de092a7b}, isbn = {3-540-25304-1}, keywords = {dblp}, pages = {295-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:35:17.000+0200}, title = {Verifying Linear Duration Constraints of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2004.html#ThaiH04}, volume = 3407, year = 2004 }