Heterogeneous Analysis and Verification for Distributed Systems

Bernhard Steffen, Tiziana Margaria, Andreas Claßen. Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools, 17(1):13-25, 1996.

Authors

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Andreas Claßen

This author has not been identified. Look up 'Andreas Claßen' in Google