FTSP Protocol Verification using SPIN
Thu, 06/12/2008 - 11:50am
| Title | FTSP Protocol Verification using SPIN |
| Publication Type | Report |
| Year of Publication | 2006 |
| Authors | Kusy, B., and S. Abdelwahed |
| Date Published | May |
| Institution | Institute for Software Integrated Systems |
| Full Text |
| Attachment | Size |
|---|---|
| Abdelwahed_S_5_0_2006_FTSP_Proto.pdf | 194.51 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering