Detection of cycle in real-time system specification

  • Authors:
  • Tereza G. Kirner

  • Affiliations:
  • Department of Computer Science, Federal University of Sao Carlos, Sao Paulo - Brazil

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract