%0 Journal Article %1 journals/ijfcs/Ibarra02 %A Ibarra, Oscar H. %D 2002 %J Int. J. Found. Comput. Sci. %K dblp %N 1 %P 115-127 %T Verification in Queue-Connected Multicounter Machines. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs13.html#Ibarra02 %V 13

@article{journals/ijfcs/Ibarra02, added-at = {2012-09-14T00:00:00.000+0200}, author = {Ibarra, Oscar H.}, biburl = {https://www.bibsonomy.org/bibtex/207ce508567e4ec744ae30b4a563d3bd0/dblp}, ee = {http://dx.doi.org/10.1142/S0129054102000984}, interhash = {1d3d1487af397e91e5158c70f3ff62cc}, intrahash = {07ce508567e4ec744ae30b4a563d3bd0}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {115-127}, timestamp = {2012-09-15T11:34:05.000+0200}, title = {Verification in Queue-Connected Multicounter Machines.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs13.html#Ibarra02}, volume = 13, year = 2002 }