Using CSP to Verify a Timed Protocol over a Fair Medium
Jim Davies and Steve Schneider
Details
| Crossref |
DBLP:conf/concur/1992 |
| Pages |
355−369 |
| Year |
1992 |
Links
Related pages
|
People |