Multi-Valued Automata and Their Applications

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageAmerican English
Title of host publicationLogics And Languages For Reliability And Security
EditorsJ Esparza, B Spanfelner, O Grumberg
PublisherIOS Press
Pages179-194
Number of pages16
DOIs
StatePublished - 2010

Keywords

  • Automata
  • Lattices
  • Online algorithms

Cite this