Olga Shumsky Matlin

	2004
4		Olga Shumsky Matlin, William McCune: Encapsulation for Practical Simplification Procedures CoRR cs.LO/0402010: (2004)
	2003
3		Olga Shumsky Matlin, William McCune, Ewing L. Lusk: Methods to Model-Check Parallel Systems Software CoRR cs.LO/0312012: (2003)
	2002
2		Olga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software. SPIN 2002: 213-220
1		Olga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software CoRR cs.LO/0203009: (2002)

Coauthor Index

1	Ewing L. Lusk	[1] [2] [3]
2	William McCune	[1] [2] [3] [4]