M. Hill

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Towards an Operational Semantics of ELLA

H. Barringer and others (1990) · Formal Verification Support for ELLA, IED project 4-1-1357

ELLA Timing

M. Hill and others (1989) · ESPRIT project 2260 (SPRITE), deliverable D3.3, RSRE, Y1-M12

Timescaling in ELLA

M. Hill and others (1989) · ESPRIT project 2260 (SPRITE), deliverable D3.3, RSRE, Y1-M6