Return to Article Details FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS Download Download PDF