Search Results
Showing 1 - 10 of 48 results
Search Results
Specification and proof in real-time CSP
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .D38 1993 | ✔ Available |
46th Annual IEEE Symposium on Foundations of Computer Science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76 .S974 2005 | ✔ Available |
43rd Annual IEEE Symposium on Foundations of Computer Science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .S95 2002 | ✔ Available |
39th Annual Symposium on Foundations of Computer Science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .S95 1998 | ✔ Available |
40th Annual Symposium on Foundations of Computer Science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .S95 1999 | ✔ Available |
41st Annual Symposium on Foundations of Computer Science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .S95 2000 | ✔ Available |