%0 Conference Paper %1 conf/cocoon/PietroD03 %A Pietro, Pierluigi San %A Dang, Zhe %B COCOON %D 2003 %E Warnow, Tandy J. %E Zhu, Binhai %I Springer %K dblp %P 159-171 %T Automatic Verification of Multi-queue Discrete Timed Automata. %U http://dblp.uni-trier.de/db/conf/cocoon/cocoon2003.html#PietroD03 %V 2697 %@ 3-540-40534-8

@inproceedings{conf/cocoon/PietroD03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Pietro, Pierluigi San and Dang, Zhe}, biburl = {https://www.bibsonomy.org/bibtex/28f2c591cca12d9e9736279ed383c7818/dblp}, booktitle = {COCOON}, crossref = {conf/cocoon/2003}, editor = {Warnow, Tandy J. and Zhu, Binhai}, ee = {https://doi.org/10.1007/3-540-45071-8_18}, interhash = {d395ff59ae4d2fa4a29634bd6acf6bf9}, intrahash = {8f2c591cca12d9e9736279ed383c7818}, isbn = {3-540-40534-8}, keywords = {dblp}, pages = {159-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:37:42.000+0200}, title = {Automatic Verification of Multi-queue Discrete Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/cocoon/cocoon2003.html#PietroD03}, volume = 2697, year = 2003 }