|
|
van der Laag, Patrick R. J. and Nienhuys--Cheng, Shan--Hwei (1992): Subsumption and Refinement in Model Inference
| Title: |
Subsumption and Refinement in Model Inference |
| Author(s): |
van der Laag, Patrick R. J. and Nienhuys--Cheng, Shan--Hwei |
| Year: |
1992 |
Concepts
|
|
