Verification

Javier Esparza, Orna Kupferman, Moshe Y. Vardi

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

Keywords

@inbook{7008d0208bce4831b15cf7e8d1de7223,

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

}

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 - فصل

SN - 978-3-98547-006-8

SP - 1415

EP - 1456

BT - Handbook of Automata Theory

A2 - Pin, Jean-Éric

CY - Zürich, Switzerland

ER -