Completeness of fair ASM refinement

Gerhard Schellhorn. Completeness of fair ASM refinement. Science of Computer Programming, 76(9):756-773, 2011. [doi]

Authors

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google