Validating Simulations Between Large Nondeterministic Specifications.

Ricardo Civalero, Bengt Jonsson, Joakim Nilsson

Browse the full FORTE paper archive.