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