1995
Conference Paper
Title

Compositional verification of cooperating systems using simple homomorphisms

Author(s)
Ochsenschläger, P.
Mainwork
Conference
Language
English
Keyword(s)