%0 Journal Article %1 journals/tcs/JeronJ93 %A Jéron, Thierry %A Jard, Claude %D 1993 %J Theor. Comput. Sci. %K dblp %N 1 %P 93-117 %T Testing for Unboundedness of FIFO Channels. %U http://dblp.uni-trier.de/db/journals/tcs/tcs113.html#JeronJ93 %V 113

@article{journals/tcs/JeronJ93, added-at = {2019-09-16T00:00:00.000+0200}, author = {Jéron, Thierry and Jard, Claude}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a1e48068d764cef8fe9ba8ce112068d9/dblp}, ee = {https://doi.org/10.1016/0304-3975(93)90212-C}, interhash = {f4fbfa07298eae871fc76b223c48a147}, intrahash = {a1e48068d764cef8fe9ba8ce112068d9}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {93-117}, timestamp = {2019-09-27T08:04:52.000+0200}, title = {Testing for Unboundedness of FIFO Channels.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs113.html#JeronJ93}, volume = 113, year = 1993 }