Symbolic Implementation of Alternating Automata.

Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri

doi:10.1142/S0129054107004942

Symbolic Implementation of Alternating Automata.

Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Aufsatznummer	4
Seiten (von - bis)	727-743
Seitenumfang	17
Fachzeitschrift	Int. J. Found. Comput. Sci.
Jahrgang	18
Ausgabenummer	4
DOIs	https://doi.org/10.1142/S0129054107004942
Publikationsstatus	Veröffentlicht - 2007

Zugriff auf Dokument

10.1142/S0129054107004942

Dieses zitieren

@article{96dfc8d7eb8545a0aedaad1709170951,

title = "Symbolic Implementation of Alternating Automata.",

author = "Roderick Bloem and Alessandro Cimatti and Ingo Pill and Marco Roveri",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2007",

doi = "10.1142/S0129054107004942",

language = "English",

volume = "18",

pages = "727--743",

number = "4",

}

TY - JOUR

T1 - Symbolic Implementation of Alternating Automata.

AU - Bloem, Roderick

AU - Cimatti, Alessandro

AU - Pill, Ingo

AU - Roveri, Marco

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2007

Y1 - 2007

U2 - 10.1142/S0129054107004942

DO - 10.1142/S0129054107004942

M3 - Article

VL - 18

SP - 727

EP - 743

JO - Int. J. Found. Comput. Sci.

JF - Int. J. Found. Comput. Sci.

IS - 4

M1 - 4

ER -