Symbolic Synthesis of Mealy Machines from Arithmetic Bistream Functions

H.H. Hansen, J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

9 Downloads (Pure)
Original languageEnglish
Pages (from-to)97-130
JournalScientific Annals of Computer Science
Volume20
Publication statusPublished - 2010

Cite this