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}, }