An Exercise in Formal Reasoning about Mobile Communications

  • Authors:
  • A. L. Murphy;G.-C. Roman;G. Varghese

  • Affiliations:
  • Department of Computer Science, One Brookings Dr. Washington University, St. Louis, MO;Department of Computer Science, One Brookings Dr. Washington University, St. Louis, MO;Department of Computer Science, One Brookings Dr. Washington University, St. Louis, MO

  • Venue:
  • IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract