Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.

Alexander K. Wißpeintner Franz Huber Jan Philipps Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. 91-100 2000 conf/fbt/2000 FBT db/conf/fbt/fbt2000.html#WisspeintnerHP00