Symbolic Implementation of Alternating Automata

Roderick Paul Bloem, Alessandro Cimatti, Ingo Hans Pill, Marco Roveri

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	727-743
Journal	International journal of foundations of computer science
Volume	18
Issue number	4
DOIs	https://doi.org/10.1142/S0129054107004942
Publication status	Published - 2007

Treatment code (Nähere Zuordnung)

@article{8b9545340dc14d86b994bc62c6b261a9,

title = "Symbolic Implementation of Alternating Automata",

author = "Bloem, {Roderick Paul} and Alessandro Cimatti and Pill, {Ingo Hans} and Marco Roveri",

year = "2007",

doi = "10.1142/S0129054107004942",

language = "English",

volume = "18",

pages = "727--743",

journal = "International journal of foundations of computer science",

publisher = "World Scientific ",

number = "4",

}

TY - JOUR

T1 - Symbolic Implementation of Alternating Automata

AU - Bloem, Roderick Paul

AU - Cimatti, Alessandro

AU - Pill, Ingo Hans

AU - Roveri, Marco

PY - 2007

Y1 - 2007

UR - http://www.worldscientific.com

UR - http://www.worldscinet.com/cgi-bin/details.cgi?id=voliss:ijfcs_1804&type=toc

U2 - 10.1142/S0129054107004942

DO - 10.1142/S0129054107004942

M3 - Article

VL - 18

SP - 727

EP - 743

JO - International journal of foundations of computer science

JF - International journal of foundations of computer science

IS - 4

ER -