Files

Abstract

This paper describes the techniques and the tools developped to construct CO-OPN specifications.

Details