2 records found
1
Analysis of meeting protocols by formalisation, simulation, and verification
Design operators to support organizational design