Ricardo Civalero

According to our database, Ricardo Civalero authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

Validating Simulations Between Large Nondeterministic Specifications.

Ricardo Civalero, Bengt Jonsson, Joakim Nilsson

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993