Sciweavers

FBT
2000

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

13 years 5 months ago
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
Alexander K. Wißpeintner, Franz Huber, Jan P
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where FBT
Authors Alexander K. Wißpeintner, Franz Huber, Jan Philipps
Comments (0)