dblp.uni-trier.dewww.uni-trier.de

Olga Shumsky Matlin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)