Analysis of a Biphase Mark Protocol with Uppaal and PVS
Article, Chapter
Full text availability for this item
Collection:
Springer Complete Journals
Opens in new Window
Coverage:
- 1989-03-01~2021-12-01; volume:1;issue:1~volume:33;issue:6
Collection:
ACM Digital Library
Opens in new Window
Coverage:
- 1989-03-01~present; volume:1~present;issue:1~present