Synthesis of Mealy Machines Using Derivatives

Hansen, Helle Hvid; Costa, David J; Rutten, Jan

doi:10.1016/j.entcs.2006.06.003

Record: found
Abstract: found
Article: found

Is Open Access

Synthesis of Mealy Machines Using Derivatives

Author(s): Helle Hvid Hansen , David Costa , Jan Rutten

Publication date Created: October 2006

Publication date (Print): October 2006

Journal: Electronic Notes in Theoretical Computer Science

Publisher: Elsevier BV

Read this article at

ScienceOpen Publisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Electronic Notes in Theoretical Computer Science

Abbreviated Title: Electronic Notes in Theoretical Computer Science

Publisher: Elsevier BV

ISSN (Print): 15710661

Publication date Created: October 2006

Publication date (Print): October 2006

Volume: 164

Issue: 1

Pages: 27-45

Article

DOI: 10.1016/j.entcs.2006.06.003

SO-VID: cf1ee728-c8c2-4a93-8c40-b570816e98ac

License:

https://www.elsevier.com/tdm/userlicense/1.0/

http://creativecommons.org/licenses/by-nc-nd/3.0/

History

Data availability:

Synthesis of Mealy Machines Using Derivatives

Read this article at

Related collections

Genome Engineering using CRISPR

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 686

Cited by 4