%0 Journal Article %1 journals/tcs/IbarraDP03 %A Ibarra, Oscar H. %A Dang, Zhe %A Pietro, Pierluigi San %D 2003 %J Theor. Comput. Sci. %K dblp %N 3 %P 1713-1735 %T Verification in loosely synchronous queue-connected discrete timed automata. %U http://dblp.uni-trier.de/db/journals/tcs/tcs290.html#IbarraDP03 %V 290

@article{journals/tcs/IbarraDP03, added-at = {2021-02-17T00:00:00.000+0100}, author = {Ibarra, Oscar H. and Dang, Zhe and Pietro, Pierluigi San}, biburl = {https://www.bibsonomy.org/bibtex/281e554382e4cc6b4ccd9f025d35ae3c8/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00076-2}, interhash = {ed526f6382b7946c54db083e3c393ff7}, intrahash = {81e554382e4cc6b4ccd9f025d35ae3c8}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {1713-1735}, timestamp = {2024-04-08T18:48:18.000+0200}, title = {Verification in loosely synchronous queue-connected discrete timed automata.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs290.html#IbarraDP03}, volume = 290, year = 2003 }