TY  - SER
AU  - Frey, D
TI  - A  for mal Specification and Verification Frame Work  for  Time Wrap Based Parallel Simulation
KW  - Introduction
KW  -  for mal Verification
ER  -