Research output per year
Research output per year
| Original language | English |
|---|---|
| Title of host publication | Concur: Concurrency Theory |
| Publication status | Published - 2009 |
| Event | Concur: Concurrency Theory - Bologna, Italy Duration: 1 Sept 2009 → 4 Sept 2009 |
Conference
| Conference | Concur: Concurrency Theory |
|---|---|
| Country/Territory | Italy |
| City | Bologna |
| Period | 1/09/09 → 4/09/09 |
Research output
- 1 Article
-
A saturation method for the modal μ-calculus over pushdown systems
Hague, M. & Ong, C.-H., May 2011, In: Information and Computation. 209, 5, p. 799–821Research output: Contribution to journal › Article › peer-review
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver