Using PO Methods for Verfying Behavioural Equivalences

• Authors:

• Monica Lara de Souza;Robert de Simone

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
• Year:
• 1995