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 |