An algorithm for eliminating duplicate labels of a labelled Petri net
- K. S. Cheung
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review