Syntax and consistent equation semantics of hybrid Chi

D. A. Van Beek*, K. L. Man, M. A. Reniers, J. E. Rooda, R. R.H. Schiffelers

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

94 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Syntax and consistent equation semantics of hybrid Chi'. Together they form a unique fingerprint.

Computer Science