Olga Shumsky Matlin

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Olga Shumsky Matlin, William McCune
Encapsulation for Practical Simplification Procedures CoRR (2004)
Olga Shumsky Matlin, William McCune, Ewing L. Lusk
Methods to Model-Check Parallel Systems Software CoRR (2003)
Olga Shumsky Matlin, Ewing L. Lusk, William McCune
SPINning Parallel Systems Software. SPIN (2002)
Olga Shumsky Matlin, Ewing L. Lusk, William McCune
SPINning Parallel Systems Software CoRR (2002)