Concurrent omega-regular games

de Alfaro, L.; Henzinger, T.A.

doi:10.1109/LICS.2000.855763

Record: found
Abstract: not found
Conference Proceedings: not found

Concurrent omega-regular games

proceedings-article

Author(s): L. de Alfaro , T.A. Henzinger

Publication date: 2000

Publisher: IEEE Comput. Soc

Conference name: Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) (LICS-00)

Conference date: 26-28 June 2000

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publisher: IEEE Comput. Soc

Publication date: 2000

Pages: 141-154

Article

DOI: 10.1109/LICS.2000.855763

SO-VID: a779f33c-946e-4e4f-bb11-c1d302272253

Conference name: Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000)

Conference acronym: LICS-00

Conference location: Santa Barbara, CA, USA

Conference date: 26-28 June 2000

History

ScienceOpen disciplines: Quantitative & Systems biology,Biophysics

Data availability:

ScienceOpen disciplines: Quantitative & Systems biology, Biophysics

Comments

Comment on this article

scite_

Cited by 3

See all cited by

Concurrent omega-regular games

Read this article at

Related collections

iGEM

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 735

Cited by 3