1992
Book Article
Title

Interleaving semantics and action refinement with atomic choice

Author(s)
Glabbeek, R.J. van
Goltz, U.
Czaja, I.
Mainwork
Language
English