Monica Lara de Souza, Robert de Simone. Using PO Methods for Verfying Behavioural Equivalences. In Gregor von Bochmann, Rachida Dssouli, Omar Rafiq, editors, Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Volume 43 of IFIP Conference Proceedings, pages 75-90, Chapman & Hall, 1995.
@inproceedings{SouzaS95,
title = {Using PO Methods for Verfying Behavioural Equivalences},
author = {Monica Lara de Souza and Robert de Simone},
year = {1995},
researchr = {https://researchr.org/publication/SouzaS95},
cites = {0},
citedby = {0},
pages = {75-90},
booktitle = {Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995},
editor = {Gregor von Bochmann and Rachida Dssouli and Omar Rafiq},
volume = {43},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-73270-X},
}