Multi-Valued Automata and Their Applications

O Kupferman

doi:10.3233/978-1-60750-100-8-179

Multi-Valued Automata and Their Applications

O Kupferman

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	American English
Title of host publication	Logics And Languages For Reliability And Security
Editors	J Esparza, B Spanfelner, O Grumberg
Publisher	IOS Press
Pages	179-194
Number of pages	16
DOIs	https://doi.org/10.3233/978-1-60750-100-8-179
State	Published - 2010

Keywords

Automata
Lattices
Online algorithms

Access to Document

10.3233/978-1-60750-100-8-179

Cite this

@inproceedings{262c595ec14548f2bdee69ec5552ad4f,

title = "Multi-Valued Automata and Their Applications",

keywords = "Automata, Lattices, Online algorithms",

author = "O Kupferman",

year = "2010",

doi = "10.3233/978-1-60750-100-8-179",

language = "American English",

pages = "179--194",

editor = "J Esparza and B Spanfelner and O Grumberg",

booktitle = "Logics And Languages For Reliability And Security",

publisher = "IOS Press",

address = "Netherlands",

}

TY - GEN

T1 - Multi-Valued Automata and Their Applications

AU - Kupferman, O

PY - 2010

Y1 - 2010

KW - Automata

KW - Lattices

KW - Online algorithms

UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=starter5-25&SrcAuth=WosAPI&KeyUT=WOS:000393274100007&DestLinkType=FullRecord&DestApp=WOS

U2 - 10.3233/978-1-60750-100-8-179

DO - 10.3233/978-1-60750-100-8-179

M3 - Conference contribution

SP - 179

EP - 194

BT - Logics And Languages For Reliability And Security

A2 - Esparza, J

A2 - Spanfelner, B

A2 - Grumberg, O

PB - IOS Press

ER -

Multi-Valued Automata and Their Applications

Keywords

Access to Document

Other files and links

Cite this