Stem cvc$ (all stems)
3 papers:
SEKE-2005-Shen #interactive #protocol- The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System (MS), pp. 16–18.
 
CAV-2004-BarrettB #implementation- CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.
 
CAV-2002-StumpBD #named- CVC: A Cooperating Validity Checker (AS, CWB, DLD), pp. 500–504.
 










