| Original language | English |
|---|---|
| Place of Publication | Boston, MA 02115 |
| State | Published - 1 Mar 2003 |
Establishing Behavioral Compatibility of Software Components without State Explosion
Paul~C. Attie, David H. Lorenz
Research output: Working paper
Paul~C. Attie, David H. Lorenz
Research output: Working paper
| Original language | English |
|---|---|
| Place of Publication | Boston, MA 02115 |
| State | Published - 1 Mar 2003 |