Tommaso Bolognesi, Scott A. Smolka. Fundamental Results for the Verification of Observational Equivalence: A Survey. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 165-179, North-Holland, 1987.
@inproceedings{BolognesiS87,
title = {Fundamental Results for the Verification of Observational Equivalence: A Survey},
author = {Tommaso Bolognesi and Scott A. Smolka},
year = {1987},
tags = {survey},
researchr = {https://researchr.org/publication/BolognesiS87},
cites = {0},
citedby = {0},
pages = {165-179},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987},
editor = {Harry Rudin and Colin H. West},
publisher = {North-Holland},
isbn = {0-444-70293-8},
}