Industrial Strength Distributed Explicit State Model Checking

by Brad Bingham , Jesse Bingham , Flavio M. De Paula , John Erickson , Gaurav Singh , Mark Reitblatt
Citations:1 - 1 self