A compositional verification method for LOTOS

  • Authors:

  • Hacéne Fouchal;Ana R. Cavalli

  • Affiliations:

  • Institut National des Télécommunications, 9, Rue Charles Fourier, 91011 Evry Cedex, France;Institut National des Télécommunications, 9, Rue Charles Fourier, 91011 Evry Cedex, France

  • Venue:
  • PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract