Simulation and verification I: design environments for complex systems.

Corrado Priami

Browse the full WSC paper archive.