Observation Equivalence as a Testing Equivalence
S. Abramsky
Details
| Book Title |
J. Theoretical Computer Science |
| Chapter |
53 |
| Pages |
225−241 |
| Year |
1987 |
Links
Related pages
|
People |