1991
Report
Title

Interleaving semantics and action refinement with atomic choice

Author(s)
Czaja, I.
Glabbeek, R.J. van
Goltz, U.
Publisher
Publishing Place
Sankt Augustin
Language
English