Sciweavers

Share
TSE
2002

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

11 years 5 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W.
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where TSE
Authors Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander
Comments (0)
books