共 50 条
- [23] Deciding Security for Protocols with Recursive Tests AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 49 - +
- [24] Tests for constancy of a mean ASYMPTOTIC METHODS IN PROBABILITY AND STATISTICS: A VOLUME IN HONOUR OF MIKLOS CSORGO, 1998, : 585 - 594
- [26] DOES PSYCHOTHERAPY MEAN ADJUSTMENT TO SOCIETY DYNAMISCHE PSYCHIATRIE, 1991, 24 (5-6): : 326 - 333
- [29] Design of recursive tests for recurrent combinatorial schemes 2007 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON THE EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS, 2007, : 345 - 347