Producing prototypes from CO-OPN specifications.

Didier Buchs, Jacques Flumet, Pascal Racloz

Browse the full RSP paper archive.