Winning Regions of Pushdown Parity Games: A Saturation Method. / Hague, Matthew; Ong, C.-H. Luke.

Concur: Concurrency Theory. 2009.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Winning Regions of Pushdown Parity Games: A Saturation Method. / Hague, Matthew; Ong, C.-H. Luke.

Concur: Concurrency Theory. 2009.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Hague, M & Ong, C-HL 2009, Winning Regions of Pushdown Parity Games: A Saturation Method. in Concur: Concurrency Theory. Concur: Concurrency Theory, Bologna, Italy, 1/09/09.

APA

Hague, M., & Ong, C-H. L. (2009). Winning Regions of Pushdown Parity Games: A Saturation Method. In Concur: Concurrency Theory

Vancouver

Hague M, Ong C-HL. Winning Regions of Pushdown Parity Games: A Saturation Method. In Concur: Concurrency Theory. 2009

Author

Hague, Matthew ; Ong, C.-H. Luke. / Winning Regions of Pushdown Parity Games: A Saturation Method. Concur: Concurrency Theory. 2009.

BibTeX

@inproceedings{87335c49f1ae472da07f47d774bd71ad,
title = "Winning Regions of Pushdown Parity Games: A Saturation Method",
author = "Matthew Hague and Ong, {C.-H. Luke}",
year = "2009",
language = "English",
booktitle = "Concur: Concurrency Theory",
note = "Concur: Concurrency Theory ; Conference date: 01-09-2009 Through 04-09-2009",

}

RIS

TY - GEN

T1 - Winning Regions of Pushdown Parity Games: A Saturation Method

AU - Hague, Matthew

AU - Ong, C.-H. Luke

PY - 2009

Y1 - 2009

M3 - Conference contribution

BT - Concur: Concurrency Theory

T2 - Concur: Concurrency Theory

Y2 - 1 September 2009 through 4 September 2009

ER -