Algebraic specification and coalgebraic synthesis of Mealy automata

J.J.M.M. Rutten

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

Original language	English
Pages (from-to)	305-319
Journal	Electronic Notes in Theoretical Computer Science
Volume	160
DOIs	https://doi.org/10.1016/j.entcs.2006.05.030
Publication status	Published - 2006

Rut06
Proceedings title: Proceedings of FACS 2005
Publisher: Elsevier

Access to Document

@article{4025b06aab83487db628518785afa357,

title = "Algebraic specification and coalgebraic synthesis of Mealy automata",

author = "J.J.M.M. Rutten",

note = "Rut06 Proceedings title: Proceedings of FACS 2005 Publisher: Elsevier",

year = "2006",

doi = "10.1016/j.entcs.2006.05.030",

language = "English",

volume = "160",

pages = "305--319",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Algebraic specification and coalgebraic synthesis of Mealy automata

AU - Rutten, J.J.M.M.

N1 - Rut06 Proceedings title: Proceedings of FACS 2005 Publisher: Elsevier

PY - 2006

Y1 - 2006

U2 - 10.1016/j.entcs.2006.05.030

DO - 10.1016/j.entcs.2006.05.030

M3 - Article

SN - 1571-0661

VL - 160

SP - 305

EP - 319

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -