Journals
Books
Articles by keyword interactive system for the synthesis of digital automaton