Using protean for verifying a complex protocol — A case study Academic Article uri icon

publication date

  • September 1995