![](/img/cover-not-exists.png)
A formal specification and verification framework for Time Warp-based parallel simulation
Frey, P., Radhakrishnan, R., Carter, H.W., Wilsey, P.A., Alexander, P.Volume:
28
Year:
2002
Language:
english
DOI:
10.1109/32.979989
File:
PDF, 513 KB
english, 2002