Frey, D <br/><br/>
A  for mal Specification and Verification Frame Work  for  Time Wrap Based Parallel Simulation 

 - 58-78 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Introduction<br/> for mal Verification