Symbolic synthesis of Mealy machines from arithmetic bitstream functions
- H.H. Hansen
- , J.J.M.M. Rutten
Research output: Contribution to journal › Article › Academic › peer-review
7
Link opens in a new tab
Citations
(Scopus)
93
Downloads
(Pure)