1990
Report
Title

A deadlock-sensitive congruence for action refinement

Author(s)
Glabbeek, R.J. van
Goltz, U.
Corporate Author
TU München
Publishing Place
München
Language
English