Labelled transition logic: an outline

  • Authors:

  • E. Astesiano;G. Reggio

  • Affiliations:

  • -;-

  • Venue:
  • Acta Informatica
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract