%0 Journal Article %1 journals/ipl/JourdanUY15 %A Jourdan, Guy-Vincent %A Ural, Hasan %A Yenigün, Hüsnü %D 2015 %J Inf. Process. Lett. %K dblp %N 5 %P 532-535 %T Reduced checking sequences using unreliable reset. %U http://dblp.uni-trier.de/db/journals/ipl/ipl115.html#JourdanUY15 %V 115

@article{journals/ipl/JourdanUY15, added-at = {2017-12-28T00:00:00.000+0100}, author = {Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü}, biburl = {https://www.bibsonomy.org/bibtex/2699eaf9d6d2ffc68e6d9d71722342b68/dblp}, ee = {https://doi.org/10.1016/j.ipl.2015.01.002}, interhash = {dd8f8e5fa8d1cf25b18f6f9d9c0a22e2}, intrahash = {699eaf9d6d2ffc68e6d9d71722342b68}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 5, pages = {532-535}, timestamp = {2017-12-29T11:43:46.000+0100}, title = {Reduced checking sequences using unreliable reset.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl115.html#JourdanUY15}, volume = 115, year = 2015 }