Frey, P. A formal specification and verification framework for Time Warp-based parallel simulation. IEEE Transactions on software engineering.
Citación estilo ChicagoFrey, P. "A Formal Specification and Verification Framework for Time Warp-based Parallel Simulation." IEEE Transactions on Software Engineering .
Cita MLAFrey, P. "A Formal Specification and Verification Framework for Time Warp-based Parallel Simulation." IEEE Transactions on Software Engineering, .
Warning: These citations may not always be 100% accurate.