Synthesizing state-based object systems from lsc specifications

David Harel, Hillel Kugler

Research output: Contribution to journalArticlepeer-review

129 Scopus citations

Fingerprint

Dive into the research topics of 'Synthesizing state-based object systems from lsc specifications'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering