Model Checking in an Industrial Environment.

Wed, 01 Jan 2003 00:00:00 +0100

Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan:
Model Checking in an Industrial Environment. MBMV 2003: 239-248