State Space Compression in SPIN with GETSs (1996)

by J.-Ch. Gregoire
Venue:Proc. Second SPIN Workshop, Rutgers Univ
Citations:9 - 0 self