Formal Specification and Proof Techniques for Mixed Systems

Jean-Claude Royer. Formal Specification and Proof Techniques for Mixed Systems. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001. pages 151, IEEE Computer Society, 2001.

Abstract

Abstract is missing.