Search Results
Showing 1 - 10 of 76 results
Search Results
Automatic verification methods for finite state systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK5105.5 .A97 1990 | ✔ Available |
Protocol specification, testing, and verification, III
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK5105.5 .I3426 1983 | ✔ Available |