| FTSP Protocol Verification using SPIN | |
|---|---|
| Author | |
| Year of Publication |
2006
|
| Date Published |
May
|
| Institution |
Institute for Software Integrated Systems
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |