Analysis of a Biphase Mark Protocol with Uppaal and PVS
Article, Chapter
Full text availability for this item
Collection:
Springer Complete Journals
Coverage:
- 1989-03-01~2021-12-01
Collection:
ACM Digital Library
Coverage:
- 1989-03-01~present