TY  - SER
AU  - Sahinoglu, Z
TI  - An Empirical Bayesian Stopping in Testing and Verification of Behavioral Models
KW  - Bayesian Analysis
ER  -