Compositional synthesis of augmented marked graphs
- K. S. Cheung
- , K. O. Chow
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4
Citations
(Scopus)