Coalgebraic logic and synthesis of Mealy machines

M.M. Bonsangue, J.J.M.M. Rutten, A.M. Silva

Research output: Contribution to JournalArticleAcademicpeer-review

165 Downloads (Pure)
Original languageEnglish
Pages (from-to)231-245
JournalLecture Notes in Computer Science
Volume4962
DOIs
Publication statusPublished - 2008

Bibliographical note

BRS08
Proceedings title: Proceedings of FoSSaCS 2008
Publisher: Springer

Cite this