Techreport,

Enhancing the SysLab System Model with State

, , and .
Technical Report, TUM-I9631. TU Munich, Germany, (July 1996)

Meta data

Tags

Users

  • @isw-bibliothek

Comments and Reviews