TY  - SER
AU  - Bhatasana,C.N.
TI  - Identify anmalies among base prover volumes of bidirectional prover
PY  - 2023///
CY  - 
PB  - 
ER  -