A comparison of refinement orderings and their associated simulation rules
Christie Bolton and Jim Davies
Details
| Journal |
Electronic Notes in Theoretical Computer Science |
| Number |
3 |
| Volume |
70 |
| Year |
2002 |
Links
Related pages
|
People |