Publications

Computer-aided construction of concurrent systems