State Space Compression in SPIN with GETSs (1996)

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

Document Versions

State Space Compression in SPIN with GETSs –J.-Ch. Gregoire — 1996 — Proc. Second SPIN Workshop, Rutgers Univ
State Space Compression in SPIN with GETSs –J.-Ch. Gregoire — 1996