Search Results
Showing 1 - 4 of 4 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Model checking software
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 I58 2005 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Partial-order methods for the verification of concurrent systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.58 .G63 1996 | ✔ Available |
