Verification

Javier Esparza, Orna Kupferman, Moshe Y. Vardi

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

Original language	English
Title of host publication	Handbook of Automata Theory
Editors	Jean-Éric Pin
Place of Publication	Zürich, Switzerland
Publisher	European Mathematical Society Publishing House, Zürich, Switzerland
Chapter	38
Pages	1415-1456
Number of pages	42
ISBN (Electronic)	978-3-98547-506-3
ISBN (Print)	978-3-98547-006-8
State	Published - 2021

Keywords

@inbook{a5dffd431f054f7187082105c62b046a,

title = "Verification",

keywords = "Machine theory, Automata, Verification",

author = "Javier Esparza and Orna Kupferman and Vardi, \{Moshe Y.\}",

year = "2021",

language = "אנגלית",

isbn = "978-3-98547-006-8",

pages = "1415--1456",

editor = "Jean-{\'E}ric Pin",

booktitle = "Handbook of Automata Theory",

publisher = "European Mathematical Society Publishing House, Z{\"u}rich, Switzerland",

}

TY - CHAP

T1 - Verification

AU - Esparza, Javier

AU - Kupferman, Orna

AU - Vardi, Moshe Y.

PY - 2021

Y1 - 2021

KW - Machine theory

KW - Automata

KW - Verification

UR - https://www.ems-ph.org/books/show_abstract.php?proj_nr=248&vol=2&rank=16

UR - https://dblp.org/rec/books/ems/21/EsparzaKV21.html

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

SN - 978-3-98547-006-8

SP - 1415

EP - 1456

BT - Handbook of Automata Theory

A2 - Pin, Jean-Éric

PB - European Mathematical Society Publishing House, Zürich, Switzerland

CY - Zürich, Switzerland

ER -