Model verification in &lgr;Σ: a type inference approach

  • Authors:

  • Enrique V. Kortright

  • Affiliations:

  • Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA and Department of Computer Science, Nicholls State University, Thibodaux, LA

  • Venue:
  • ANSS '91 Proceedings of the 24th annual symposium on Simulation
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract