Symbolic Synthesis of Mealy Machines from Arithmetic Bistream Functions

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

Research output: Contribution to Journal › Article › Academic › peer-review

30 Downloads (Pure)

Original language	English
Pages (from-to)	97-130
Journal	Scientific Annals of Computer Science
Volume	20
Publication status	Published - 2010

Access to Document

@article{802c709ab74d469a9c2808e63789be47,

title = "Symbolic Synthesis of Mealy Machines from Arithmetic Bistream Functions",

author = "H.H. Hansen and J.J.M.M. Rutten",

year = "2010",

language = "English",

volume = "20",

pages = "97--130",

journal = "Scientific Annals of Computer Science",

issn = "1843-8121",

publisher = "Alexandru Ioan Cuza - University of Iasi",

}