Stable trace automata vs. full trace automata

  • Authors:
  • Vincent Schmitt

  • Affiliations:
  • IRISA-IFSIC, Rennes, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1998

Quantified Score

Hi-index 5.23

Visualization

Abstract