Multi-Valued Automata and Their Applications

Orna Kupferman. Multi-Valued Automata and Their Applications. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 179-194, IOS Press, 2010. [doi]

@incollection{Kupferman10,
  title = {Multi-Valued Automata and Their Applications},
  author = {Orna Kupferman},
  year = {2010},
  doi = {10.3233/978-1-60750-100-8-179},
  url = {http://dx.doi.org/10.3233/978-1-60750-100-8-179},
  researchr = {https://researchr.org/publication/Kupferman10},
  cites = {0},
  citedby = {0},
  pages = {179-194},
  booktitle = {Logics and Languages for Reliability and Security},
  editor = {Javier Esparza and Bernd Spanfelner and Orna Grumberg},
  volume = {25},
  series = {NATO Science for Peace and Security Series - D: Information and Communication Security},
  publisher = {IOS Press},
  isbn = {978-1-60750-099-5},
}