Review of transitions and trees: an introduction to structural operational semantics, by Hans Hüttel

  • Authors:

  • Stephan Falke

  • Affiliations:

  • -

  • Venue:
  • ACM SIGACT News
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract