TAGED Approximations for Temporal Properties Model-Checking

by R. Courbis , P.-C. Héam , O. Kouchnarenko
Citations:1 - 0 self