Synthesis of large dynamic concurrent programs from dynamic specifications

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Fingerprint

Dive into the research topics of 'Synthesis of large dynamic concurrent programs from dynamic specifications'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science