Sign in
  Edit search
Analysis of a Biphase Mark Protocol with Uppaal and PVS
Analysis of a Biphase Mark Protocol with Uppaal and PVS
Article, Chapter
Authors: F.W.
Publication: Formal Aspects of Computing, Volume:18, Issue:4, Page(s):433-458
Published: Springer London, 2006
ISSN: 0934-5043
  Full text availability for this item
View Full Text Source:Formal Aspects of Computing,Formal Aspects of Computing,Springer Complete Journals Opens in new Window
Journal:  Formal Aspects of Computing Source:Springer Complete Journals Opens in new Window
Collection:  Springer Complete Journals Opens in new Window
Coverage:
  • 1989-03-01~2021-12-01; volume:1;issue:1~volume:33;issue:6
View Full Text Source:Formal Aspects of Computing,Formal Aspects of Computing,ACM Digital Library Opens in new Window
Journal:  Formal Aspects of Computing Source:ACM Digital Library Opens in new Window
Collection:  ACM Digital Library Opens in new Window
Coverage:
  • 1989-03-01~present; volume:1~present;issue:1~present
Browse related articles
  Print copies at your library
Check availability in RUQuest
  Request a copy of this item
Cite this item