Fundamental Results for the Verification of Observational Equivalence: A Survey

@inproceedings{Bolognesi1987FundamentalRF,
  title={Fundamental Results for the Verification of Observational Equivalence: A Survey},
  author={Tommaso Bolognesi and Scott A. Smolka},
  year={1987}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 42 CITATIONS, ESTIMATED 36% COVERAGE

118 Citations

0510'87'94'02'10'18
Citations per Year
Semantic Scholar estimates that this publication has 118 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…