Login / Signup

Lower bounds on lengths of checking sequences.

Guy-Vincent JourdanHasan UralHüsnü YenigünJi Chao Zhang
Published in: Formal Aspects Comput. (2010)
Keyphrases